带约束的Eiffel：一种约束引导的强类型面向对象语言

摘要

强类型的面向对象语言很适合软件工程的需要，本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明，本文提出了带约束的Ｅｉｆｆｅｌ语言结合了Ｅｉｆｆｅｌ语言强类型和继承机制与ＴｈｉｎｇＬａｂＩＩ的约束引导系统，并且对两者都有改进，因而有益于软件的规格说明和开发。