Cona: Aspects for contracts and contracts for aspects

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2004, Pages 196-197

  Skotiniotis, Therapon ^a   Lorenz, David H ^a  

^a Northeastern University   (United States)

Author keywords

Aspect oriented programming (AOP); Design by Contract (DBC)

Indexed keywords

ASPECT-ORIENTED; DESIGN BY CONTRACT (DBC); DESIGN BY CONTRACTS; ROBUST SOFTWARE; RUNTIMES;

ASPECT ORIENTED PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING; DESIGN;

OBJECT ORIENTED PROGRAMMING;

EID: 31844456082     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1028664.1028747     Document Type: Conference Paper

References (15)

1. C. A. Constantinides and T. Skotiniotis. Reasoning about the classification of crosscutting concerns in Object-Oriented systems. In Second International Workshop on Aspect-Oriented Software Development. German Informatics Society, February 21-22 2002.
2. nd International Conference on Aspect-Oriented Software Development, pages 150-157, Boston, Massachusetts, Mar. 17-21 2003. AOSD 2003, ACM Press.
3. R. Filman. Achieving ilities. In Workshop on Compositional Software Architectures, Monterey, California, 1998.
4. R. B. Findler and M. Felleisen. Contract soundness for object-oriented languages. In OOPSLA'01, pages 1-15, Tampa Bay, Florida, Oct. 14-18 2001. (Pubitemid 35009055)
5. M. Kersten and G. C. Murphy. Atlas: A case study in building a web-based learning environment using aspect-oriented programming. In OOPSLA'99, pages 340-352, Vancouver, BC, Canada, Oct. 18-22 1999. (Pubitemid 32213994)
6. M. Kölling and J. Rosenberg. Blue: Language Specification, 1997.
7. R. Kramer. iContract - The Java design by contract tool. In TOOLS 26 USA Conference, pages 295-307, Santa Barbara, CA, Aug. 3-7 1998. IEEE Computer Society.
8. C. Lopes, M. Lippert, and E. Hilsdale. Design by contract with aspect-oriented programming, 2002. U.S. Patent No. 06,442,750. Issued August 27,2002.
9. D. H. Lorenz and T. Skotiniotis. Contracts and aspects. Technical Report NU-CCIS-03-13, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Dec. 2003.
10. B. Meyer. Eiffel: The language. Object-Oriented Series. Prentice-Hall, 1991.
11. S. M. Omohundro. The Sather 1.0 specification. Technical Report TR-94-062, International Computer Science Institute, Berkeley, 1994.
12. T. Skotiniotis. Cona Home Page, 2004. http://www.ccs.neu.edu/home/ skotthe/cona/.
13. T. Skotiniotis and D. H. Lorenz. Conaj: Generating contracts as aspects. Technical Report NU-CCIS-04-03, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2004.
14. T. Skotiniotis and D. H. Lorenz. From contracts to aspects and back. Technical Report NU-CCIS-04-05, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2004.
15. The AspectJ Team. AspectJ Development Tools, 2004. http://www.eclipse. org/aspectj/.