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

Conference "Technologies Microsoft in the theory and programming practice"

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.