Design by Contract part 1

Описание: Here you get a more detailed look at Design by Contract™, the most potent tool available for improving software reliability. We use a simple example to show you how to build software specification into the software source code and make it self-checking at runtime.

As with "Eiffel: An Overview", this is a classic presentation. It contains some minor elements of the language which have changed since its production. For example, the "is" keyword is shown in the examples here, but has been removed from the language by the Eiffel standard committee.