Eiffel is based (according to Wikipedia) on a set of principles:
- Design by contract
- Command-query separation
- Uniform access principle
- Single choice principle
- Open-closed principle
- Option-Operand separation

Eiffel is based (according to Wikipedia) on a set of principles:

