|
||
|
||
|
|
||
|
|
|
|
: 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.
