对象式软件需求定义及其自动转换的研究

下载PDF

导出

摘要在面向对象构架之下研究了软件需求定义及其自动转换问题.提出了层次化对象式软件需求模型NDHORM;定义了图形化对象式需求定义语言NDORL;探讨了从半形式需求定义到形式功能规约的转换技术;介绍了对象式软件需求分析支撑系统NDORASS的设计与实现,该系统支持用户借助NDHORM模型及NDORL语言来构作软件需求定义,并实现到形式功能规约OOZE的自动转换.

作者张家重徐家福

机构地区南京大学计算机软件新技术国家重点实验室

出处《自然科学进展（国家重点实验室通讯）》 1999年第3期201-208,共8页

基金国家杰出青年科学基金(批准号:61525204)

关键词面向对象需求定义自动转换软件自动化

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

引文网络
相关文献

参考文献5

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

二级参考文献3

1徐家福，对象式程序设计语言，1992年
2徐家福，系统程序设计语言，1983年
3吕建.广谱规格说明语言FGSPEC的设计[J].计算机研究与发展,1991,28(2):1-5. 被引量：1

共引文献12

1杨大军,孙圣强,丁俊华,吕建.基于语法制导的人机界面设计方法[J].计算机研究与发展,1997,34(S1):150-154. 被引量：1
2张家重,李刚,郑向伟,郑明春.从OOA到OOD[J].小型微型计算机系统,1997,18(8):70-75.
3张家重,王志坚.面向对象的软件需求分析[J].计算机应用与软件,1997,14(2):1-7. 被引量：10
4张伟刚,唐培和,刘浩,刘连芳.基于决定的软件需求工程模型的设计与实现[J].广西工学院学报,1997,8(3):44-47.
5张家重,徐家福.需求工程研究新进展[J].计算机研究与发展,1998,35(1):1-5. 被引量：21
6柴啸龙,姜云飞,陈蔼祥,毛明志.基于规划图的过程活动流实时规划[J].计算机科学,2009,36(6):119-124.
7张家重,王志坚,伊波,徐家福.对象式软件需求模型及其机器支撑[J].软件学报,1998,9(6):414-418. 被引量：7
8王海鸥.基于Web的中国武术远程教育平台(Web-WTS)的设计构想[J].山东体育学院学报,2009,25(10):87-90. 被引量：3
9郑明春,张家重,王岩冰,高波.HOOD方法与形式化技术的集成研究[J].计算机工程与科学,1999,21(2):56-60.
10李彤,王黎霞,柳青,孔兵.一个面向网络并行环境的需求规约语言[J].计算机工程,2000,26(1):24-26.

1张家重,王志坚,陶先平,吕建,陈道蓄,朱鸿.图形化对象式需求定义语言NDORL[J].计算机科学,1996,23(1):49-57. 被引量：4
2张家重,吕建,王志坚,徐家福.一种图形化对象式需求定义语言的设计[J].软件学报,1996,7(11):647-655. 被引量：8
3滕少华,黄育潜,黄明和.面向对象式软件的结构开发及其可复用性分析[J].江西师范大学学报（自然科学版）,1994,18(4):365-369. 被引量：2
4李频,董逸生.一种对象式软件开发方法及其支持工具[J].东南大学学报（自然科学版）,1999,29(1):101-106.
5Richard Bender.基于需求的测试是软件测试的本质[J].程序员,2010(1):9-9. 被引量：2
6余以胜.面向模式的平台相关模型互操作构架[J].长沙大学学报,2011,25(5):37-40.
7董丽君,凌澍,徐家福.功能规约自动生成[J].计算机学报,1996,19(3):174-178. 被引量：2
8Peng HUANG,Jie ZHU.Predicting the fault-proneness of class hierarchy in object-oriented software using a layered kernel[J].Journal of Zhejiang University-Science A(Applied Physics & Engineering),2008,9(10):1390-1397. 被引量：1
9董丽君,费宗铭,朱鸿,金凌紫.软件需求定义语言NDRDL[J].计算机科学,1995,22(5):45-53. 被引量：10
10张家重,王志坚,伊波,徐家福.对象式软件需求模型及其机器支撑[J].软件学报,1998,9(6):414-418. 被引量：7

自然科学进展（国家重点实验室通讯）

1999年第3期

浏览历史

内容加载中请稍等...

对象式软件需求定义及其自动转换的研究

参考文献5

二级参考文献3

共引文献12

相关作者

相关机构

相关主题

浏览历史