1. Whether software engineering needs to be artificially intelligent;Simon;IEEE Transactions on Software Engineering,1986
2. An empirically-derived control structure for the process of program understanding;Soloway,1988
3. Cognitive processes in program comprehension;Letovsky,1986
4. Plan in programming: definition, demonstration, and development;Rist,1986
5. The refinement paradigm: the interaction of coding and efficiency knowledge in program synthesis;Kant;IEEE Transactions on Software Engineering,1981