PROGRAM DESIGN BY INFORMAL ENGLISH DESCRIPTIONS

被引：98

作者：

ABBOTT, RJ ^{[1
]}

机构：

[1] AEROSPACE CORP,LOS ANGELES,CA 90009

来源：

关键词：

D O I：

10.1145/182.358441

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：882 / 894

页数：13

共 10 条

[1]

ABBOTT RJ, UNPUB INTEGRATED APP

[2]

Booch G., 1983, SOFTWARE ENG ADA

[3]

DIJKSTRA E, 1972, COMM ACM, V15

[4] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION [J].

GUTTAG, JV ;

HOROWITZ, E ;

MUSSER, DR .

[5] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[6]

Liskov B. H., 1975, IEEE Transactions on Software Engineering, VSE-1, P7, DOI 10.1109/TSE.1975.6312816

[7] CRITERIA TO BE USED IN DECOMPOSING SYSTEMS INTO MODULES [J].

PARNAS, DL .

[8]

VONQUINE W, 1960, WORD OBJECT

[9]

Wirth N., 1973, SYSTEMATIC PROGRAMMI

[10]

1980, MILSTD1815 US DEP DE