SOME NOTES ON PUTTING FORMAL SPECIFICATIONS TO PRODUCTIVE USE

被引：13

作者：

GUTTAG, J ^{[1
]}

HORNING, J ^{[1
]}

WING, J ^{[1
]}

机构：

[1] XEROX CORP,PALO ALTO RES CTR,PALO ALTO,CA 94304

来源：

关键词：

D O I：

10.1016/0167-6423(82)90004-1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：53 / 68

页数：16

共 26 条

[1]

BURSTALL RM, 1977, 5TH P INT JOINT C AR, P1045

[2]

DIJKSTRA EW, 1972, STRUCT PROGRAM, P1

[3]

Goguen J.A., 1978, CURRENT TRENDS PROGR, VIV

[4]

GOLDSTEIN IP, 1980, CSL805 XER PAL ALT R

[5]

GUTTAG J, 1980, P 7 ACM SIGPLAN SIGA, P251

[6]

Heninger K. L., 1979, Proceedings of Specifications of Reliable Software, P1

[7] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

[8]

Jackson M.A, 1975, PRINCIPLES PROGRAM D

[9]

Jones C. B, 1980, SOFTWARE DEV RIGOROU

[10]

KAPUR D, 1980, MIT237 LAB COMP SCI