INFORMATION-THEORETIC COMPLEXITY OF PROGRAM SPECIFICATIONS

被引：2
作者：
COULTER, NS
COOPER, RB
SOLOMON, MK
机构：
来源：
COMPUTER JOURNAL | 1987年 / 30卷 / 03期
关键词：
D O I：
10.1093/comjnl/30.3.223
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：223 / 227
页数：5
相关论文
共 36 条
[1]  
Aho A.V., 1983, DATA STRUCTURES ALGO
[2]   SOFTWARE FUNCTION, SOURCE LINES OF CODE, AND DEVELOPMENT EFFORT PREDICTION - A SOFTWARE SCIENCE VALIDATION [J].
ALBRECHT, AJ ;
GAFFNEY, JE .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) :639-648
[3]  
ASH R, 1965, INFORMATION THEORY
[4]  
BACKUS J, 1978, COMMUN ACM, V21, P631
[5]   USE OF SOFTWARE SCIENCE IN EVALUATING MODULARITY CONCEPTS [J].
BAKER, AL ;
ZWEBEN, SH .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (02) :110-120
[6]  
BARHILLEL Y, 1964, LANGUAGE INFORMATION
[7]   TOWARDS A THEORY OF COGNITIVE-PROCESSES IN COMPUTER PROGRAMMING [J].
BROOKS, R .
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1977, 9 (06) :737-751
[8]  
Bruner J.S., 1956, STUDY THINKING
[9]   SOFTWARE SCIENCE AND COGNITIVE-PSYCHOLOGY [J].
COULTER, NS .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (02) :166-171
[10]   LEVELS OF PROCESSING - FRAMEWORK FOR MEMORY RESEARCH [J].
CRAIK, FIM ;
LOCKHART, RS .
JOURNAL OF VERBAL LEARNING AND VERBAL BEHAVIOR, 1972, 11 (06) :671-684
1234