KNOWLEDGE-BASED PROGRAM ANALYSIS

被引：45

作者：

HARANDI, MT

NING, JQ

机构：

来源：

IEEE SOFTWARE | 1990年 / 7卷 / 01期

关键词：

D O I：

10.1109/52.43052

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

[No abstract available]

引用

页码：74 / 81

页数：8

共 8 条

[1]

Bieman J. M., 1985, Proceedings of COMPSAC 85. The IEEE Computer Society's Ninth International Computer Software and Applications Conference (Cat. No.85CH2221-0), P254

[2] TRUTH MAINTENANCE SYSTEM [J].

DOYLE, J .

ARTIFICIAL INTELLIGENCE, 1979, 12 (03) :231-272

[3]

Harandi M. T., 1988, Proceedings of the Conference on Software Maintenance - 1988 (IEEE Cat. No.88CH2615-3), P312, DOI 10.1109/ICSM.1988.10182

[4]

Kozaczynski W., 1989, Proceedings. 11th International Conference on Software Engineering (Cat. No.89CH2718-5), P113, DOI 10.1145/74587.74603

[5]

NING JQ, 1989, AAAI S ARTIFICIAL IN, P51

[6]

NING JQ, 1989, KNOWLEDGE BASED APPR

[7]

WILDE N, 1987, SERCTR13F U FLOR SOF

[8]

YAU S, 1981, IEEE T SOFTW ENG NOV, P556

← 1 →