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

作　　者：俞一峻[1] 

机构地区：[1]复旦大学计算机科学系

出　　处：《计算机工程与应用》1996年第2期60-64,共5页Computer Engineering and Applications

摘　　要：强类型的面向对象语言很适合软件工程的需要。本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明。本文提出的带约束的Eiffel语言结合了Eiffel语言强类型和继承机制与TbingLab Ⅱ的约束引导系统,并且对两者都有改进,因而有益于软件的规格说明和开发。

关 键 词：面向对象 程序语言 EIFFEL语言 软件工程 

分 类 号：TP312EI[自动化与计算机技术—计算机软件与理论]