archive.eiffel.com

Wikipedia: Eiffel (programming language)

Anchor text: 9 INHERITANCE

Wikipedia: Eiffel (programming language)

Anchor text: Building bug-free O-O software: An introduction to Design by Contract(TM)

Wikipedia: Design by contract

Wikipedia: Control flow

Anchor text: Tool supporting BON (integrated into Eiffel IDE)

Wikipedia: Business Object Notation

Anchor text: Page on Spanish translation

Wikipedia: Object-Oriented Software Construction

Anchor text: Why loop variants are integers

Wikipedia: Loop variant