Java code formalization in UML models

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Lukashev Dmitry A. Kotlyarov Vsevolod P. Yusupov Yury V.
Abstract:

In the article stated the problems of Java code formalization in UML models. Described process of transformation Java code in Basic protocols using Klocwork and special checker module.