Specification of invariability in OCL - Specifying invariable system parts and views.

Piotr Kosiuczenko

Published in: Softw. Syst. Model. (2013)

Keyphrases

multiple views
uml diagrams
database
constraint language
single view
specification language
modeling language
test cases
formal specification
formal methods
tool support
sequence diagrams
database systems
viewpoint
metamodel
software projects