Java code formalization in UML models
Authors:
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.