OVERVIEW OF SOFTWARE ENGINEERING

被引：2

作者：

ANDREWS, D

机构：

来源：

DATA PROCESSING | 1986年 / 28卷 / 02期

关键词：

D O I：

10.1016/0011-684X(86)90100-0

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：64 / 78

页数：15

相关论文

共 7 条

[1]

Bjorner D., 1982, FORMAL SPECIFICATION

[2]

DIJKSTRA EW, 1968, COMM ACM, V11

[3]

Gries David, 1981, SCI PROGRAMMING

[4]

HILL ID, 1972, COMPUTER B JUN, P306

[5]

HOARE CAR, 1972, STRUCTURED PROGRAMMI

[6]

Jones, 1978, VIENNA DEV METHOD ME

[7]

Jones C. B, 1980, SOFTWARE DEV RIGOROU