Reviews what information and software sciences have thus far accomplished in search for empirical regularities and laws and examines what theories have been developed to explain and account for regularities and laws. Specific laws and theories of information highlighted are those of Zipf, Bradford, Lotka, Mandelbrot, and Simon. (Forty references)…

Reports on a controlled experiment that compared cloze procedure (human tendency to complete a familiar but not quite finished pattern) and comprehension quiz as measures of computer program understanding. Program comprehension measures, experimental materials, administration, and results are highlighted. Twenty-six references and sample questions…

Presents model of algorithm design (activity in software development) based on analysis of protocols of two subjects designing three convex hull algorithms. Automation methods, methods for studying algorithm design, role of discovery in problem solving, and comparison of different designs of case study according to model are highlighted.…

Discusses current use of psychological theory in software science and reviews recent developments in cognitive psychology relevant to programing (human information processing, expert-novice differences). Critique of Maurice Halstead's model of cognitive aspects of programing and a structured data flow perspective (control flow and data flow…

Explores potential of mathematical theory of communication for information science and examines question of how to encode a message at time it is encountered for subsequent recall. Examples of problem, a prototype computer program and experiment, coding as embedding in associational nets, and nature of information are discussed. (Nine references.)…