The integration of UML and formal methods such as B and SMV provides a bridge between graphical specification techniques usable by mainstream software engineers, and precise analysis and verification techniques, essential for the development of high integrity and critical systems. In this paper we define a translation from UML class diagrams into B, which is used to verify the consistency of UML models and to verify that expected properties of these models hold. © Springer-Verlag 2004.
CITATION STYLE
Lano, K., Clark, D., & Androutsopoulos, K. (2004). UML to B: Formal verification of object-oriented models. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2999, 187–206. https://doi.org/10.1007/978-3-540-24756-2_11
Mendeley helps you to discover research relevant for your work.