- Overview
- Defensive Programming
- The Queue Class
- Tests
- Test Considerations
- Types
- Types in Perl
- Assertions
- Assertions in Perl
- Contracts
- Contracts in Eiffel
- Things to Avoid
- The Precondition
- The Postcondition
- Invariants
- Invariants Explained
- Thoughts
- The Conway Channel
- Class::Contract
- Getting 'old'
- Dependent Contacts
- Class::Contract::Lite
- Class::Agreement
- Example 1
- C::A Preconditions
- C::A Pre. Inheritance
- Example 2
- C::A Postconditions
- C::A Post. Inheritance
- Example 3
- C::A Dep. Inheritance
- Example 4
- C::A Invariants
- Constructors
- Invariant Blame
- C::A Pre. Inheritance
- Not just OO!
- Example 5
- Higher-Order Contracts
- Example 6
- FAQ
- Fin