Consistency, Independence and Consequences in UML and OCL Models

  title={Consistency, Independence and Consequences in UML and OCL Models},
  author={Martin Gogolla and Mirco Kuhlmann and Lars Hamann},
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 50 extracted citations

Formal verification of static software models in MDE: A systematic review

Information & Software Technology • 2014
View 14 Excerpts
Highly Influenced

Leveraging the Analysis for Invariant Independence in Formal System Models

2015 Euromicro Conference on Digital System Design • 2015
View 4 Excerpts
Highly Influenced

Analyzing Inconsistencies in UML/OCL Models

Journal of Circuits, Systems, and Computers • 2016

85 Citations

Citations per Year
Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…