Design by Contract

• Building bug-free O-O software: An introduction to Design by Contract
• Eiffel's Design by Contract: Predecessors and Original Contributions
• Design By Contract: A Missing Link In The Quest For Quality Software
• Assertions in Eiffel
• Critique
• Explanation of Design by Contract
• Design by Contract for Java
• jasert documentation
• GNU Nana: Design by Contract in GNU C/C++
• iContract, the Java Design by Contract toolAdding Contracts to Java with Handshake
• jContractor: A Reflective Java Library to Support Design by Contract