From OCL to JML On the Relationship between The Object Constraint Language (OCL) and The Java Modeling Language(JML) Translating the Object Constraint Language into the Java Modeling Language Ali Hamie School of Computing, Mathematical and Information Sciences University of Brighton [email protected]By Karen Richart
From OCL to JML. On the Relationship between The Object Constraint Language (OCL) and The Java Modeling Language(JML) Translating the Object Constraint Language into the Java Modeling Language Ali Hamie School of Computing, Mathematical and Information Sciences University of Brighton - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
From OCL to JMLOn the Relationship between The Object Constraint
Language (OCL) and The Java Modeling Language(JML)
Translating the Object Constraint Language into the Java Modeling Language
Ali HamieSchool of Computing, Mathematical and Information Sciences