Lessons learned from developing a dynamic OCL constraint enforcement tool for java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3844 LNCS, Issue , 2006, Pages 10-19

  Dzidek, Wojciech J ^b   Briand, Lionel C ^a,b   Labiche, Yvan ^a  

^a CARLETON UNIVERSITY   (Canada)

^b SIMULA RESEARCH LABORATORY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING;

ASPECT-ORIENTED PROGRAMMING (AOP); OBJECT CONSTRAINT LANGUAGE (OCL); UML;

JAVA PROGRAMMING LANGUAGE;

EID: 33745658663     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11663430_2     Document Type: Conference Paper

References (18)

1. Szyperski, C., Component Software. 2nd ed. 2002: ACM Press.
2. Briand, L.C., et al. A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development. In IEEE ICSM 2004. p. 380-389.
3. Emmerich, W., Engineering Distributed Objects. 2000: Wiley.
4. Kleppe, A., J. Warmer, and W. Bast, MDA Explained - The Model Driven Architecture: Practice and Promise. 2003: Addison-Wesley.
5. Briand, L.C., Y. Labiche, and H. Sun, Investigating the Use of Analysis Contracts to Improve the Testability of Object-Oriented Code. Software - Practice and Experience, 2003. 33(7): p. 637-672.
6. Briand, L.C., W. Dzidek, and Y. Labiche, Using Aspect-Oriented Programming to Instrument OCL Contracts in Java. 2004. SCE-04-03. http://www.sce.carleton.ca/squall.
7. Finger, F., Design and Implementation of a Modular OCL Compiler. 2000, Dresden University of Technology.
8. Wiebicke, R., Utility Support for Checking OCL Business Rules in Java Programs. 2000, Dresden University of Technology.
9. LCI, Object Constraint Language Environment (OCLE). http://lci.cs. ubbcluj.ro/ocle/.
10. Liskov, B., Data Abstraction and Hierarchy. SIGPLAN Notices, 1988. 23(5).
11. Plösch, R., Evaluation of Assertion Support for the Java Programming Language. Journal Of Object Technology, 2002. 1(3).
12. Lackner, M., A. Krall, and F. Puntigam, Supporting Design by Contract in Java. Journal Of Object Technology, 2002. 1(3).
13. Appel, A.W., Modern Compiler Implementation in Java. 2nd ed. 2002: Cambridge University Press.
14. Elrad, T., R.E. Filman, and A. Bader, Aspect-oriented programming: Introduction. Communications of the ACM, 2001. 44(10): p. 29-32.
15. Briand, L.C., W.J. Dzidek, and Y. Labiche, Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging. In IEEE International Conference on Software Maintenance. 2005.
16. Warmer, J. and A. Kleppe, The Object Constraint Language. 1999: Addison-Wesley.
17. Bloch, J., Effective Java: Programming Language Guide. 2001: Addison Wesley.
18. Hussmann, H., F. Finger, and R. Wiebicke. Using Previous Property Values in OCL Postconditions - An Implementation Perspective, in «UML»2000 Workshop - "UML 2.0 - The Future of the UML Constraint Language OCL". 2000.