Invitation to Eiffel

Interactive Software Engineering

MANUAL IDENTIFICATION AND COPYRIGHT

Invitation to Eiffel

This document is available both locally, as part of the ISE Eiffel delivery, and on the eiffel.com Web site, in both HTML and PDF versions. See the list of introductory documents .

This is not an introduction to the EiffelStudio development environment. Follow the preceding link for a Guided Tour of EiffelStudio (HTML or PDF).

You will also find there a detailed Eiffel Tutorial.

1 WHAT MUST I KNOW FIRST?

2 DESIGN PRINCIPLES

3 OBJECT-ORIENTED DESIGN

4 CLASSES

5 TYPES

6 DESIGN BY CONTRACT AND ASSERTIONS

7 EXCEPTIONS

8 EVENT-DRIVEN PROGRAMMING AND AGENTS

9 GENERICITY

10 INHERITANCE

11 POLYMORPHISM AND DYNAMIC BINDING

12 COMBINING GENERICITY AND INHERITANCE

13 DEFERRED CLASSES AND SEAMLESS DEVELOPMENT

14 PUTTING A SYSTEM TOGETHER