A model of human cognitive behavior in writing code for computer programs
International Joint Conference on Artificial IntelligencePublished 3 September 1975
Ruven Brooke
Citations12
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
A theory of human cognitive processes in writing code for computer programs is presented which views behavior in terms of three processes: understanding, planning, and coding. Using this theory, a model of the coding process has been created which reproduces the code generation behavior of an experienced, human programmer working on a set of 2 3 FORTRAN problems. The model is stated as a computer program organized as a production system.
Keywords
Computer ScienceEngineering
ACM SIGART BulletinReview of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
360 Citations1971W. W. Bledsoe
This book is not a survey on theorem proving programs, but the description of a program developed from 1960 to 1965, and includes three chapters that deal with resolution-based theorem-proving in the predicate calculus and its applications to problem solving.
FigshareA model for functional reasoning in design
121 Citations2018Peter Freeman, Allen Newell
A model of the design process is developed in two stages corresponding to the task environment of design and the activity of posing and solving design problems, and issues raised by the model's qualitative aspects, its suitability to automated design, and lines for further development are discussed.