Checking UML and OCL Model Consistency: An Experience Report ...
link.springer.com › Tests and Proofs
Jul 17, 2015 � This contribution reports on a middle-sized case study in which the consistency of a UML and OCL class model is checked.
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study � Martin Gogolla, Lars Hamann, +1 author. Matthias Sedlmeier � Published�...
Abstract. This contribution reports on a middle-sized case study in which the consistency of a UML and OCL class model is checked. The.
This contribution reports on a middle-sized case study in which the consistency of a UML and OCL class model is checked. The class model restrictions are�...
This contribution reports on a middle-sized case study in which the consistency of a UML and OCL class model is checked. The class model restrictions are�...
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier.
Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study
This case study aims at collecting and analyzing UML models with OCL consistency rules proposed in the literature and at promoting the development of a�...
Checking uml and ocl model consistency: An experience report on a middle-sized case study. M Gogolla, L Hamann, F Hilken, M Sedlmeier. Tests and Proofs: 9th�...
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study � Computer Science. TAP@STAF � 2015.