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.
Literature<br />
[1] [ ] Warmer, , J., , Kleppe, pp , A.: The Object j Constraint Language. g g<br />
Precise Modeling with UML. Addison-Wesley, 1999<br />
[2] Warmer, J., Kleppe, A.: The Object Constraint Language<br />
Second Edition.<br />
Getting Your Models Ready For MDA. Addison-Wesley, 2003<br />
[3] OMG UML specification,<br />
www.omg.org/technology/documents/modeling www.omg.org/technology/documents/modeling_spec_catalo<br />
spec catalo<br />
g.htm#UML<br />
[4] OMG UML 2.0 <strong>OCL</strong>,<br />
www www.omg.org/technology/documents/formal/ocl.htm<br />
omg org/technology/documents/formal/ocl htm<br />
[5] Heinrich Hußmann: Formal Specification of Software<br />
Systems. Course, 2000, <strong>Technische</strong> <strong>Universität</strong> <strong>Dresden</strong><br />
Dr. Birgit Demuth MINE Summer School, Nida, 2009 8