Specification of Invariability in OCL.

Piotr Kosiuczenko

Published in: MoDELS (2006)

Keyphrases

uml diagrams
constraint language
metamodel
specification language
knowledge base
sequence diagrams
software design
uml class diagrams
provably correct
tool support
high level
neural network
database
formal verification
formal specification
software engineering
video sequences
social networks