OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
OCL By Example Lecture - Technische Universität Dresden
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Precondition<br />
Definition<br />
– Constraint that must be true just prior to the execution<br />
of an operation<br />
Syntax<br />
context :: ()<br />
pre []:<br />
<br />
p<br />
Dr. Birgit Demuth MINE Summer School, Nida, 2009 15