Usage of formalization approaches for creation of system models from ucm-specification

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Yusupov Yury V. Kotlyarov Vsevolod P. Nikiforov Igor V. Petrov Aleksey V.
Abstract:

The paper presents an overview of formalization approaches that are used for generation of system formal models from Use Case Map-specification. Advantages and disadvantages of every method are described.