Nikolai Mansurov

Learn More
Large amounts of legacy software create a “barrier” for adoption of formal description techniques in the telecommunication industry. To overcome this barrier, algorithms and methods for automated re-engineering of legacy telecommunication software into formal specifications are required. In this paper we present a “dynamic scenario-based” approach to(More)
In this paper we summarize our experiences in building and integrating new generation, formal-methods based CASE tools to yield pragmatic improvements in software engineering processes in the telecommunication industry. We define an accelerated development methodology (ADM) for the specification, design, testing and re-engineering of telecommunications(More)
Understanding software-based systems is a task essential not only for engineering new applications but also for evolving existing ones. For complex systems, the graphical representation of various attributes and projections contributes to such understanding. Also, scenarios have proven to greatly accelerate software understanding by capturing abstract(More)
Wider adoption of formal specification languages in industry is impeded by the lack of support for early development phases and for integration with older, legacy software. Methodology aimed at improving this situation is presented. The methodology uses Message Sequence Charts (MSC) as a “front-end” specification language and systematically applies an(More)
During software evolution, several different facets of the system need to be related to one another at multiple levels of abstraction. Current software evolution tools have limited capabilities for effectively visualizing and evolving multiple system facets in an integrated manner. Many tools provide methods for tracking and relating different levels of(More)