软件规格说明语言GSPEC 被引量：1

导出

摘要本文总结了图形化软件规格说明语言GSPEC (Graphical SPECification language)的设计思想。在对软件规格说明语言进行需求分析的基础上,提出了新的软件功能分解模式以及代数与一阶谓词相结合的抽象数据类型定义方法。该语言具有形象易读、表达力强和正确可靠等特点,现已在IBM PC/AT和SUN-3工作站上实现。

作者戴敏徐家福

机构地区南京大学计算机软件研究所

出处《中国科学（A辑）》 CSCD 1989年第5期546-553,共8页 Science in China(Series A)

关键词规格说明语言软件自动化

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

引文网络
相关文献

同被引文献4

1张家重,王志坚,陶先平,吕建,陈道蓄,朱鸿.图形化对象式需求定义语言NDORL[J].计算机科学,1996,23(1):49-57. 被引量：4
2张家重,吕建,王志坚,徐家福.一种图形化对象式需求定义语言的设计[J].软件学报,1996,7(11):647-655. 被引量：8
3吕建.NDADAS系统的算法正确性构架[J].中国科学（A辑）,1990,21(12):1320-1328. 被引量：2
4吕建,徐家福.软件自动化的智能化途径[J].科学通报,1993,38(2):184-185. 被引量：2

引证文献1

1张家重,徐家福.对象式软件需求定义及其自动转换的研究[J].自然科学进展（国家重点实验室通讯）,1999,9(3):201-208.

1陈怡海,缪淮扣.两种形式语言:RSL与Z的分析比较[J].计算机应用与软件,2002,19(4):9-11. 被引量：4

中国科学（A辑）

1989年第5期

浏览历史

内容加载中请稍等...

软件规格说明语言GSPEC 被引量：1

同被引文献4

引证文献1

相关作者

相关机构

相关主题

浏览历史