Analysis by Contract: An Introduction to UML's Object Constraint Language (OCL).

Richard Mitchell

Published in: TOOLS (26) (1998)

Keyphrases

constraint language
metamodel
uml diagrams
object oriented
integrity constraints
databases
modeling language
database systems
upper bound