You are in:

 Documentation Home
 General
 Getting started with Eiffel
 Getting started with the Eiffel method and language

 Topics:

 Invitation to Eiffel
 An 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 and Exceptions
 MANUAL IDENTIFICATION AND COPYRIGHT
 12 Combining Genericity and Inheritance
 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 Inheritance
 10 Other Mechanisms
 11 Agents
 12 Lexical Conventions and Style Rules
 13 To Learn More
 Eiffel: The One-Minute Summary
 9 Genericity
 10 Inheritance
 11 Polymorphism and Dynamic Binding
 13 Deferred Classes and Seamless Development
 14 Putting a System Together
 MANUAL IDENTIFICATION AND COPYRIGHT