Avoiding OCL specification pitfalls.

Dan Ioan Chiorean Ileana Ober Vladiela Petrascu

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases

uml diagrams
constraint language
specification language
high level
metamodel
design patterns
artificial intelligence
information systems
query language
test cases
formal specification
multi agent
user defined