Eiffel是一套物件導向程式語言,1985年由伯特蘭·邁耶所發明。文法類似Pascal ,並且將語言本身與軟體工程、和工具結合為一。Eiffel实现契约式设计(Design by Contract)的風格。 一個Eiffel“系统”或“程序”是指一個“类”的集合。Eiffel系统有一个Cluster的概念。通过一个
Hennessy and David A. Patterson. Computer Organization and Design: The Hardware/Software Interface. San Francisco, CA: Morgan Kauffman. 2009. ISBN 0123744938