SPECIFICATION DIRECTED MODULE TESTING

被引：20

作者：

HAYES, IJ ^{[1
]}

机构：

[1] OXFORD UNIV,COMP LAB,PROGRAMMING RES GRP,OXFORD OX1 3QD,ENGLAND

来源：

关键词：

D O I：

10.1109/TSE.1986.6312926

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：124 / 133

页数：10

共 10 条

[1]

Abrial J.-R., 1980, SPECIFICATION LANGUA

[2]

Ambler A. L., 1977, SIGPLAN Notices, V12, P1, DOI 10.1145/390017.808306

[3]

[Anonymous], 1962, SOV MATH DOKL

[4]

BAYER R., 1972, ACTA INFORM, V1, P173, DOI [DOI 10.1007/BF00288683, 10.1007/BF00288683]

[5]

BEISER B, 1983, SOFTWARE TESTING TEC

[6] DATA-ABSTRACTION IMPLEMENTATION, SPECIFICATION, AND TESTING [J].

GANNON, J ;

MCMULLIN, P ;

HAMLET, R .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (03) :211-223

[7]

Jones C. B, 1980, SOFTWARE DEV RIGOROU

[8] SPECIFICATION OF THE UNIX FILING SYSTEM [J].

MORGAN, C ;

SUFRIN, B .

[9]

Popek G. J., 1977, SIGPLAN Notices, V12, P11, DOI 10.1145/390017.808307

[10]

WIRTH N, 1976, ALGORITHMS PLUS DATA