| Online Eiffel Documentation

EiffelStudio

# An Eiffel Tutorial

## Interactive Software Engineering

MANUAL IDENTIFICATION AND COPYRIGHT

This is not an introduction to the EiffelStudio development environment. See the list of introductory documents for a Guided Tour of EiffelStudio and a detailed Eiffel Tutorial.

## 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