Bertrand Meyer created the methodology Design by contract and incorporated it into the Eiffel programming language.
Trong những năm 198x: Bertrand Meyer đã tạo ra phương pháp học Thiết kế theo hợp đồng (Design by contract) và hợp nhất nó vào trong ngôn ngữ lập trình Eiffel.