EIFFEL语言

作品数：12被引量：2H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：阮文江李师贤姚卿达唐长宁俞一峻更多>>
相关机构：中山大学复旦大学更多>>
相关期刊：《计算机工程与应用》《管理观察》《程序员》《软件学报》更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
契约式设计之父——Bertrand Meyer访谈
《程序员》2004年第1期45-49,共5页Bill Venners 
Bertrand Meyer是同时活跃于学术和商业二界的软件先驱。他目前担任瑞士理工学院的软件工程协会主席。他撰写了数量浩繁的论文和书籍,如经典的《面向对象软件构造》(Prentice出版社,1994,2000)。1985年,他创立了交互软件工程公司。公司...
关键词：软件质量 软件开发 面向对象 EIFFEL语言 Bertrand MEYER 
Bertrand Meyer Eiffel语言奠基人
《程序员》2003年第2期20-23,共4页InformIT 孟岩 
Bertrand Meyer是著名的面向对象技术专家,Eiffel语言(Eiffel语言被誉为是最纯粹、理论性最强的面向对象语言)和方法学的创造者,瑞士理工大学教授(他的前任是著名的Niklaus Wirth教授,PASCAL、Modula-2和Oberon语言的创造者),也是面向...
关键词：Bertrand MEYER EIFFEL语言 面向对象 程序设计语言 计算机 软件开发 
Eiffel:转向Windows
《管理观察》1998年第11期37-37,共1页李天铎 
关键词：WINDOWS EIFFEL 面向对象技术 EIFFEL语言 WINDOWS95 图象分类 图象程序 相互关系 服务器系统 国际协会 
Eiffel语言:转向Windows
《管理观察》1997年第11期51-51,共1页李斌 
关键词：EIFFEL语言 WINDOWS 程序库 计算机 程序系统 WINDOWS95 人机接口 对象技术 程序接口 服务器系统 
Eiffel语言3.0版本的语义
《中山大学学报论丛》1996年第6期3-61,6,共23页阮文江 李师贤 
863高技术资助项目
采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风格的基础上，对原语法进行了一些适当修改．②描述...
关键词：EIFFEL语言 OOPL META Ⅳ 指称语义 
带约束的Eiffel:一种约束引导的强类型面向对象语言
《计算机工程与应用》1996年第2期60-64,共5页俞一峻 
强类型的面向对象语言很适合软件工程的需要。本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明。本文提出的带约束的Eiffel语言结合了Eiffel语言强类型和继承机制与TbingLab Ⅱ的...
关键词：面向对象 程序语言 EIFFEL语言 软件工程 
Eiffel语言的语义被引量：1
《软件学报》1995年第1期17-25,共9页李师贤 阮文江 
本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处...
关键词：EIFFEL语言 形式语义 面向对象语言 
基于Eiffel的软件开发风范
《计算机工程与应用》1994年第7期25-28,共4页阮文江 
本文以Ｅｉｆｆｅｌ语言为出发点，建立以重用构件为目标的软件开发风范及其相应的开发模型。
关键词：EIFFEL语言 面向对象 软件开发 
面向对象程序设计语言EIFFEL的程序正确性验证工具被引量：1
《计算机科学》1994年第2期63-67,5,共6页姚卿达 唐长宁 董慧红 
本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。
关键词：程序语言 程序设计 EIFFEL语言 
面向对象的程序设计语言和环境Eiffel
《计算机工程与应用》1993年第1期1-73,共73页殷兆麟 潘志庚 马小虎 劳志强 
本专辑比较系统地介绍了面向对象的程序设计语言Eiffel的基本概念,语言特征,EiffeI程序开发方法,另外还系统介绍了Eiffel编辑及其工具环境。
关键词：面向对象 程序语言 EIFFEL语言 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部