MONITORING PROGRAM EXECUTION - A SURVEY

被引：30

作者：

PLATTNER, B ^{[1
]}

NIEVERGELT, J ^{[1
]}

机构：

[1] NEU TECHN BUCHS,BUCHS,SWITZERLAND

来源：

关键词：

D O I：

10.1109/C-M.1981.220255

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：76 / 93

页数：18

共 34 条

[1] RELIABLE SOFTWARE - SELECTIVE ANNOTATED-BIBLIOGRAPHY
ANDERSON, T
SHRIVASTAVA, SK
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1978, 8 (01) : 59 - 76
[2] BALZER RM, 1969, AFIPS C P, V34, P567
[3] BOEHM BW, 1975, PRACTICAL STRATEGIES, P3
[4] SYMBOLIC EVALUATION AND THE ANALYSIS OF PROGRAMS
CHEATHAM, TE
HOLLOWAY, GH
TOWNLEY, JA
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (04) : 402 - 417
[5] Cohen J., 1977, Software - Practice and Experience, V7, P445, DOI 10.1002/spe.4380070403
[6] CONVERSATIONAL COMPILER FOR FULL PL/I
CUFF, RN
[J]. COMPUTER JOURNAL, 1972, 15 (02) : 99 - &
[7] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[8] EVANS TG, 1966, AFIPS FJCC P, V29, P37
[9] ALADDIN - ASSEMBLY LANGUAGE ASSERTION DRIVEN DEBUGGING INTERPRETER
FAIRLEY, RE
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (04) : 426 - 428
[10] DEBUGGING SYSTEMS AT THE SOURCE LANGUAGE LEVEL
FERGUSON, HE
BERNER, E
[J]. COMMUNICATIONS OF THE ACM, 1963, 6 (08) : 430 - 432