Ada程序复杂性度量包的设计
-
1黄建新.Ada语言和Ada程序设计环境[J].微型计算机,1992,12(2):34-38.
-
2赵春泉.从软件工程看Ada程序设计语言[J].计算机工程与应用,1989,25(9):13-18.
-
3黄立波,王振宇,刘轼.Ada语言与其它语言的接口问题[J].计算机与数字工程,1996,24(2):1-11. 被引量:1
-
4陆荣国.Ada程序的验证测试[J].航空电子技术,1994,25(4):31-34.
-
5邢国光.AWA—一种新研制的Ada编程测试环境[J].飞行器测控技术,1989(4):34-44.
-
6丁志军,蒋昌俊.基于网语言的Ada程序局部性质的分析和验证[J].软件学报,2002,13(12):2305-2316. 被引量:1
-
7陈火旺,张克均,殷建平.一个半自动生成Ada程序的软件开发环境GFKD_AUTO[J].计算机工程与科学,1992,14(1):32-37.
-
8朱明远,饶慧,邢国光,沈军,柳斌.AWA:一个集成化的Ada程序设计环境[J].计算机学报,1989,12(12):900-907.
-
9闫力芳,赵文清,王德文.程序调用优化的几种方法[J].电力情报,1997(3):46-50.
-
10史晓华,高仲仪,邵晖.ADA程序通信死锁的动态检测方法[J].计算机研究与发展,1999,36(8):954-960. 被引量:2
;