OOPSLA '04

Program
Technical Program
  Invited Speakers
  Technical Papers
  Onward!
  Panels
  Practitioner Reports
  Tutorials
Workshops
DesignFest
Educators' Symposium
Demonstrations
Posters
Doctoral Symposium
Exhibits
Student Research Comp.
FlashBoF
 
Turing Lecture
 
Social Events
 
Week at a Glance
 
Final Program (1.5M .pdf)

Find in Program
 

Page
Printer-friendly

Basket
view, help

"Cona -- Aspects for Contracts and Contracts for Aspects"
Object-Oriented Programming, Systems, Languages and Applications
Home    Program    Housing & Transportation    Registration    Submissions    Wiki    Maps
 


 : Posters on Display : Posters on Display : Posters on Display : Posters on Display at the Welcome Reception

Cona -- Aspects for Contracts and Contracts for Aspects

Therapon Skotiniotis, Norhteastern University
David Lorenz, Norhteastern University

We present an aspect-oriented Design by Contract (DBC) tool for Java named Cona. We also extend the use of DBC and assertions to AOP. Aspects are used in the implementation of contracts, and contracts are used for enforcing assertions on aspects.