期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

面向对象程序设计语言EIFFEL的程序正确性验证工具被引量：1

下载PDF

导出

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

作者姚卿达唐长宁董慧红

机构地区中山大学计算机软件研究所

出处《计算机科学》 CSCD 北大核心 1994年第2期63-67,5,共6页 Computer Science

关键词程序语言程序设计 EIFFEL语言

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

引文网络
相关文献

同被引文献3

1陆汝铃.计算机语言的形式语义[M].北京:科学出版社,1992.327-448.
2徐家福，对象式程序设计语言，1992年，269页
3陆汝钤，计算机语言的形式语义，1992年，327页

引证文献1

1王彩芬.用HOARE逻辑证明C^(++)程序的正确性[J].兰州大学学报（自然科学版）,2000,36(1):44-47. 被引量：1

二级引证文献1

1潘齐心,高若铭,彭梅芳,张凯磊.Java在线实验系统的设计与开发[J].福建电脑,2019,35(5):86-87.

1殷兆麟,潘志庚,马小虎,劳志强.面向对象的程序设计语言和环境Eiffel[J].计算机工程与应用,1993,29(1):1-73.
2阮文江.基于Eiffel的软件开发风范[J].计算机工程与应用,1994,30(7):25-28.
3李斌.Eiffel语言:转向Windows[J].管理观察,1997,0(11):51-51.
4李师贤,阮文江.基于Eiffel语言的面向对象程序设计[J].软件产业,1991(1):10-13.
5阮文江,李师贤.Eiffel语言的实现[J].计算机工程与应用,1992,28(11):22-30.
6李师贤,阮文江.Eiffel语言的语义[J].软件学报,1995,6(1):17-25. 被引量：1
7俞一峻.带约束的Eiffel:一种约束引导的强类型面向对象语言[J].计算机工程与应用,1996,32(2):60-64.
8李天铎.Eiffel:转向Windows[J].管理观察,1998(11):37-37.
9陈娟,张素琴,王萍.程序设计语言异常处理机制[J].微型机与应用,1998,17(10):15-17. 被引量：4
10Bill Venners.契约式设计之父——Bertrand Meyer访谈[J].程序员,2004(1):45-49.

计算机科学

1994年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部