Eiffel
Verificato
Significato di «Eiffel»
Linguaggio a oggetti progettato da Bertrand Meyer nel 1985 (prima versione nel 1986) per aumentare l'affidabilità del software. Introdusse il Design by Contract, con precondizioni, postcondizioni e invarianti di classe integrati nel linguaggio.
Fonti: Linguaggio a oggetti, origine del Design by Contract. Fonti: eiffel.com/values/design-by-contract; en.wikipedia.org/wiki/Eiffel_(programming_language). Verifica web 2026-08-03. · Verificato il 2026-08-03