Java code formalization in UML models

Conference «Technologies Microsoft in the theory and programming practice»
Authors:
Lukashev D.A.Kotlyarov V,P.Yusupov Yu.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.