An Eiffel Tutorial

Interactive Software Engineering

MANUAL IDENTIFICATION AND COPYRIGHT

An Eiffel tutorial

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 shorter introduction: "Invitation to Eiffel".

1 OVERVIEW

2 GENERAL PROPERTIES

3 THE SOFTWARE PROCESS IN EIFFEL

4 HELLO WORLD

5 THE STATIC PICTURE: SYSTEM ORGANIZATION

6 THE DYNAMIC STRUCTURE: EXECUTION MODEL

7 GENERICITY AND ARRAYS

8 DESIGN BY CONTRACT TM , ASSERTIONS, EXCEPTIONS

9 INHERITANCE

10 OTHER MECHANISMS

11 AGENTS

12 LEXICAL CONVENTIONS AND STYLE RULES

13 TO LEARN MORE