咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 12 篇 期刊文献

馆藏范围

  • 12 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 11 篇 工学
    • 11 篇 计算机科学与技术...
    • 11 篇 软件工程
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 12 篇 eiffel语言
  • 6 篇 面向对象
  • 4 篇 程序语言
  • 3 篇 软件开发
  • 2 篇 程序设计
  • 2 篇 计算机
  • 2 篇 windows95
  • 2 篇 bertrand
  • 2 篇 meyer
  • 2 篇 服务器系统
  • 2 篇 windows
  • 1 篇 程序库
  • 1 篇 ⅳ
  • 1 篇 oopl
  • 1 篇 软件质量
  • 1 篇 指称语义
  • 1 篇 eiffel
  • 1 篇 国际协会
  • 1 篇 程序系统
  • 1 篇 程序设计语言

机构

  • 5 篇 中山大学
  • 1 篇 复旦大学

作者

  • 5 篇 阮文江
  • 4 篇 李师贤
  • 1 篇 bill venners
  • 1 篇 俞一峻
  • 1 篇 姚卿达
  • 1 篇 李斌
  • 1 篇 李天铎
  • 1 篇 马小虎
  • 1 篇 informit
  • 1 篇 唐长宁
  • 1 篇 董慧红
  • 1 篇 孟岩
  • 1 篇 潘志庚
  • 1 篇 殷兆麟
  • 1 篇 劳志强

语言

  • 12 篇 中文
检索条件"主题词=Eiffel语言"
共 12 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
eiffel语言的语义
收藏
分享
引用
软件学报 1995年 第1期6卷 17-25页
作者： 李师贤 阮文江 中山大学软件研究所 中山大学计算中心
本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
eiffel语言的实现
收藏
分享
引用
计算机工程与应用 1992年 第11期28卷 22-30页
作者： 阮文江 李师贤 中山大学
本文介绍 eiffel 编译器的设计与实现以及核心运行环境的组织。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
eiffel语言3.0版本的语义
收藏
分享
引用
中山大学学报论丛 1996年 第6期16卷 3-61,6页
作者： 阮文江 李师贤 中山大学计算机科学系
采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风格的基础上，对原语法进行了一些适当修改．②描述... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Bertrand Meyer eiffel语言奠基人
收藏
分享
引用
程序员 2003年 第2期 20-23页
作者： InformIT 孟岩
Bertrand Meyer是著名的面向对象技术专家,eiffel语言(eiffel语言被誉为是最纯粹、理论性最强的面向对象语言)和方法学的创造者,瑞士理工大学教授(他的前任是著名的Niklaus Wirth教授,PASCAL、Modula-2和Oberon语言的创造者),也是面向... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于eiffel语言的面向对象程序设计
收藏
分享
引用
软件产业 1991年 第1期 10-13页
作者： 李师贤 阮文江
来源： 维普期刊数据库 维普期刊数据库 评论
eiffel语言:转向Windows
收藏
分享
引用
管理观察 1997年 第11期 51-51页
作者： 李斌
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向对象的程序设计语言和环境eiffel
收藏
分享
引用
计算机工程与应用 1993年 第1期29卷 1-73页
作者： 殷兆麟 潘志庚 马小虎 劳志强
本专辑比较系统地介绍了面向对象的程序设计语言eiffel的基本概念,语言特征,EiffeI程序开发方法,另外还系统介绍了eiffel编辑及其工具环境。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向对象程序设计语言eiffel的程序正确性验证工具
收藏
分享
引用
计算机科学 1994年 第2期21卷 63-67,5页
作者： 姚卿达 唐长宁 董慧红 中山大学计算机软件研究所
本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
带约束的eiffel:一种约束引导的强类型面向对象语言
收藏
分享
引用
计算机工程与应用 1996年 第2期32卷 60-64页
作者： 俞一峻 复旦大学计算机科学系
强类型的面向对象语言很适合软件工程的需要。本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明。本文提出的带约束的eiffel语言结合了eiffel语言强类型和继承机制与TbingLab Ⅱ的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于eiffel的软件开发风范
收藏
分享
引用
计算机工程与应用 1994年 第7期30卷 25-28页
作者： 阮文江 中山大学计算中心
本文以Ｅｉｆｆｅｌ语言为出发点，建立以重用构件为目标的软件开发风范及其相应的开发模型。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >> 跳转到页 
回到顶部
执行限定条件