On the relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML)

Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings

Volumn , Issue , 2006, Pages 411-414

  Hamie, Ali ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE;

JAVA MODELING LANGUAGES (JML); OBJECT CONSTRAINT LANGUAGES (OCL);

OBJECT ORIENTED PROGRAMMING;

EID: 38949196725     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDCAT.2006.85     Document Type: Conference Paper

References (6)

1. Arnold, K. and Gosling, J., The Java programming Language. The Java Series. Addisson-Wesley, Reading, MA, second edition, 1998.
2. Cheon, Y. and Leavens, G., A Runtime Assertion Checker for the Java Modeling Language (JML). In Software Engineering Research and Practice (SERP'02), pages 322-328. CSREA Press, June 2002.
3. Leavens G., Baker A., and Ruby C., Preliminary Design of JML: A Behavioral Interface Specification Language for Java. ACM SIGSOFT Software Engineering Notes, 31(3):1-38, March 2006. http://doi.acm.org/10.1145/ 1127878.1127884.
4. Leavens G., Rustan K., Leino M., Poll E., Ruby C., and Jacobs B., JML: notations and tools supporting detailed design in Java. In OOPSLA 2000 Companion, Minneapolis, Minnesota, pages 105-106. ACM, October 2000.
5. Rumbaugh J., Jacobson I., and Booch G., The UML User Guide, Addison-Wesley, 2005.
6. Warmer, J., and Kleppe, A., The Object Constraint Language, second edition, Addison-Wesley, 2003.