COMMENTS ON PROGRAM SPECIFICATION AND TESTING

被引：5

作者：

HOUSE, R

机构：

来源：

关键词：

D O I：

10.1145/358876.358879

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：324 / 331

页数：8

共 50 条

[21] PROGRAM COMMENTS
KERKHOFF, DP
BYTE, 1984, 9 (08): : 18 - 18
[22] COMMENTS ON FORMULATION AND TESTING OF A PROGRAM FOR OBJECTIVE ASSEMBLY OF METEOROLOGICAL SATELLITE CLOUD OBSERVATIONS
WATSON, BF
NAGLE, RE
MONTHLY WEATHER REVIEW, 1967, 95 (09) : 645 - &
[23] Program construction by verifying specification
Univ of Science and Technology of, China, Hefei, China
J Comput Sci Technol, 6 (597-607):
[24] Interpretable program specification language
Novikov, F. A.
Novoseltsev, V. B.
PROGRAMMING AND COMPUTER SOFTWARE, 2010, 36 (01) : 48 - 57
[25] SPECIFICATION INFLUENCES IN PROGRAM DESIGN
SIDDIQI, JIA
RATCLIFF, B
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1989, 31 (04): : 393 - 404
[26] Specification method of program transformations
Liu, Zongtian
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (01): : 87 - 90
[27] Interpretable program specification language
F. A. Novikov
V. B. Novoseltsev
Programming and Computer Software, 2010, 36 : 48 - 57
[28] BEHAVIORAL-PROGRAM SPECIFICATION
REICHEL, H
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 390 - 411
[29] Formal specification of program slicing
Wu, Fangjun
ACM SIGPLAN NOTICES, 2006, 41 (12) : 18 - 27
[30] PROGRAM SPECIFICATION WITH ELEMENTS OF PROLOG
PLASSER, K
ANGEWANDTE INFORMATIK, 1988, 30 (12): : 539 - 543