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.