Skip to content
◈ALB Atlas

Bertrand Meyer Alive

Bertrand Meyer
KindPerson
Born1950
StatusAlive

Designed Eiffel and Design by Contract — preconditions, postconditions, and invariants as language features.

Created Eiffel

Designed Eiffel and created Design by Contract — preconditions, postconditions, invariants as executable specifications — and wrote 'Object-Oriented Software Construction' (1988/97), the field's standard text.\n\nThe most rigorous OO methodology ever built; his ideas live in every contract-aware language.