Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.

Nils Przigoda Judith Peters Mathias Soeken Robert Wille Rolf Drechsler

Published in: MoDeVVa@MoDELS (2015)

Keyphrases

metamodel
uml class diagrams
modeling language
uml diagrams
sequence diagrams
tool support
constraint language
semi automatic
fully automatic
development process
class diagram
uml profile
life cycle
software systems
software engineering
object oriented
software design
state machine
test cases
data model