Welcome to Cona

Cona is an AODBC tool that provides Design by Contract for Java programs. Cona works as a preprocessing tool. Java syntax is extended to allow for the definition of pre- and post-conditions and invariants. Contract obligations are realized as Aspect definitions, that enforce the runtime validation of assertions. The tool is still in its infancy. Feel free to browse around the examples and for any help or comments you can always mail me.

Thanks for visiting!