[ISE Home] [ Home ] [ Release Notes ] [ Technology Papers ] [ Installation Notes ] [ About Eiffel ]

Eiffel: An overview of the language and method

1 DESIGN PRINCIPLES

2 OBJECT-ORIENTED DESIGN

3 CLASSES

4 TYPES

5 ASSERTIONS


5.1 The role of assertions
5.2 Creation procedures
5.3 Design by contract
5.4 The short form

6 EXCEPTIONS

7 GENERICITY

8 INHERITANCE

9 POLYMORPHISM AND DYNAMIC BINDING

10 COMBINING GENERICITY AND INHERITANCE

11 DEFERRED CLASSES

12 PUTTING A SYSTEM TOGETHER