Bertrand Meyer Alive
Designed Eiffel and Design by Contract — preconditions, postconditions, and invariants as language features.
19251950197520002025
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.