Eiffel
Eiffel 是一套物件導向程式語言，1985 年由伯特蘭・邁耶所發明。文法類似 Pascal ，並且將語言本身與軟體工程、和工具結合為一。Eiffel 實現契約式設計（Design by Contract）的風格。