SYSTEMATIC PROGRAM-DEVELOPMENT

被引：3

作者：

DROMEY, RG ^{[1
]}

机构：

[1] UNIV WOLLONGONG,DEPT COMP SCI,WOLLONGONG,NSW 2500,AUSTRALIA

来源：

关键词：

D O I：

10.1109/32.4619

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：12 / 29

页数：18

共 50 条

[1] USING MATHEMATICAL INDUCTION IN SYSTEMATIC PROGRAM-DEVELOPMENT
LI, JX
LAKHOTIA, A
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (04) : 561 - 574
[2] GRAPHICAL PROGRAM-DEVELOPMENT WITH PECAN PROGRAM-DEVELOPMENT SYSTEMS
REISS, SP
[J]. SIGPLAN NOTICES, 1984, 19 (05): : 30 - 41
[3] A FRAMEWORK FOR PROGRAM-DEVELOPMENT
COLEMAN, D
GALLIMORE, RM
[J]. HEWLETT-PACKARD JOURNAL, 1987, 38 (10): : 37 - 40
[4] TOWARD PROGRAM-DEVELOPMENT
SILVA, D
[J]. AMERICAN JOURNAL OF OCCUPATIONAL THERAPY, 1976, 30 (07): : 441 - 443
[5] A PROGRAM-DEVELOPMENT TOOL
ALBERGA, CN
BROWN, AL
LEEMAN, GB
MIKELSONS, M
WEGMAN, MN
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1984, 28 (01) : 60 - 73
[6] COMPONENTS IN PROGRAM-DEVELOPMENT
SILVA, D
[J]. AMERICAN JOURNAL OF OCCUPATIONAL THERAPY, 1976, 30 (09): : 568 - 573
[7] ADMINISTRATION PROGRAM-DEVELOPMENT
RAMSEYER, JA
[J]. PHI DELTA KAPPAN, 1956, 37 (07) : 299 - 303
[8] PROGRAM-DEVELOPMENT WITH FACT
HURT, R
[J]. COMPUTER JOURNAL, 1965, 7 (04): : 270 - 270
[9] APPROACH TO PROGRAM-DEVELOPMENT
WHORTON, EB
LAMBORN, KR
[J]. BIOMETRICS, 1972, 28 (04) : 1184 - 1185
[10] PROGRAM-DEVELOPMENT AS A FORMAL ACTIVITY
BROY, M
PEPPER, P
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) : 14 - 22