Nikolai Mansurov

Learn 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)
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)
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)