Design by contract: building bug-free object-oriented software
Presentation of Design by Contract, the key to reliable software development.
url: archive.eiffel.com/doc/manuals/technology/contract...
Eiffel: An Advanced Introduction
By Alan A. Snyder and Brian N. Vetter.
url: www.comp.ufla.br/~monserrat/eiffel/advanced_introd...
Eiffel: The Reference (Working draft)
A very temporary draft of the current state of "Eiffel: The Reference".
url: archive.eiffel.com/nice/language/
Eiffel: The Syntax
Describes the programming syntax in with links to the various sections.
url: www.gobosoft.com/eiffel/syntax/
Eiffel's Design by Contract: Predecessors and Original Contributions
By Bertrand Meyer.
url: www.ecs.syr.edu/faculty/fawcett/handouts/CSE784/F2...
ELKS 95: Table of contents
Eiffel Library Kernel Standard, as of 1995.
url: archive.eiffel.com/doc/manuals/library/elks/book.f...
An Invitation to Eiffel
On-line introduction to the Eiffel method and language.
url: archive.eiffel.com/doc/online/eiffel50/intro/langu...
Object-Oriented Style Rules
ISE's own style rules.
url: archive.eiffel.com/doc/manuals/language/style/
Why Eiffel?
Advocacy tutorial, code samples, text comparison to other languages (Ada, Sather; C++, Java; CLOS, Smalltalk), references, links to resources.
url: www.cs.unc.edu/~smithja/MIMS/DataModel/research/Wh...
