Links and Resources

General Design by Contract links

• Building bug-free O-O software: An Introduction to Design by Contract
• Design by Contract: A Missing Link In The Quest For Quality Software

Java oriented Design by Contract links

• Implementing Assertions in Java
• Adding contracts to Java
• Implement Design by Contract for Java using dynamic proxies

Other Design by Contract tools for Java

• iContract
• Jass
• Jcontract
• JMSAssert
• jassert
• Handshake
• Java Modeling Language (JML) - Not DBC exactly, but similar in spirit.

Libraries and tools used in jContractor

• Byte Code Engineering Library (BCEL)
• werken.opt command line option parser
• JUnit testing framework
• Ant build tool

The Eiffel language

• Eiffel in a Nutshell
• Invitation to Eiffel
• Eiffel tutorial
• ISE Eiffel
• SmallEiffel: the GNU Eiffel compiler

Miscellaneous

• The College of Creative Studies - jContractor's birth place