本文简单介绍了国家八五科研重点攻关项目＜＜实用自动工具集的开发＞＞的专题＜＜自动验证工具＞＞的理论基础和开发成果。......

本文采用类ＶＤＭ的指称语言技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型，该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的......

...

本文介绍 Eiffel 编译器的设计与实现以及核心运行环境的组织。...

强类型的面向对象语言很适合软件工程的需要，本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全......

采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风......

...

...

Bertramd Meyer是同时活跃于学术和商业二界的软件先驱。他目前担任瑞士理工学院的软件工程协会主席。他撰写了数量浩繁的论文和书......

Bertrand Meyer是著名的面向对象技术专家,Eiffel语言(Eiffel语言被誉为是最纯粹、理论性最强的面向对象语言)和方法学的创造者,瑞......

本文以Ｅｉｆｆｅｌ语言为出发点，建立以重用构件为目标的软件开发风范及其相应的开 发模型。......

本专辑比较系统地介绍了面向对象的程序设计语言Eiffel的基本概念,语言特征,EiffeI程序开发方法,另外还系统介绍了Eiffel编辑及其......