Abstract

AbstractÐThis paper examines and proposes an approach to writing software specifications, based on research in systems theory, cognitive psychology, and human-machine interaction. The goal is to provide specifications that support human problem solving and the tasks that humans must perform in software development and evolution. A type of specification, called intent specifications, is constructed upon this underlying foundation. Index TermsÐRequirements, requirements specification, safety-critical software, software evolution, human-centered specifications, means-ends hierarchy, cognitive engineering.

Citations

544	Systems thinking, systems practice - Checkland - 1981
513	Safeware: System Safety and Computers - Leveson - 1995
454	A field study of the software design process for large systems - Curtis, Krasner, et al. - 1988
382	Human Error - Reason - 1999
253	Things that make us smart - Norman - 1993
249	Information processing and human-machine interaction: An approach to cognitive engineering - Rasmussen - 1986
202	Requirements Specifications for ProcessControl Systems - Leveson, Heimdahl, et al. - 1994
195	Empirical studies of programming knowledge - SOLOWAY, K - 1984
190	Towards a theory of the comprehension of computer programs - BROOKS - 1983
151	Stimulus structures and mental representations in expert comprehension of computer programs - PENNINGTON - 1987
117	Task-analytic approach to the automated design of graphic presentations - Casner - 1991
103	The nature of expertise - Chi, Glaser, et al. - 1988
85	Designing documentation to compensate for delocalized plans - Soloway, Pinto, et al.
77	Ecological interface design: Theoretical foundations - Vicente, Rasmussen - 1992
73	Cognitive processes in program comprehension - LETOVSKY - 1986
63	Software Requirements Analysis for Real-Time Process-Control Systems - Jaffe, Leveson, et al. - 1991
58	Automation surprises - Sarter, Woods, et al. - 1997
56	Why are some problems hard? Evidence from tower of hanoi - Kotovsky, Hayes - 1985
50	The role of hierarchical knowledge representation in decision making and system management - Rasmussen - 1985
44	Syntactic/semantic interactions in programmer behavior, a model and some experimental results - Shneiderman, Mayer
43	Principles of Self-Organizing System - Ashby - 1968
40	Software safety in embedded computer systems - Leveson - 1991
36	The use of self checks and voting in software error detection: an empirical study - Leveson, Cha, et al. - 1990
31	Assumptions and ambiguities in mechanistic mental models - Kleer, Brown, et al. - 1983
30	Expertise in debugging computer programs: a process analysis - VESSEY - 1985
29	S.: Analyzing Software Specifications for Mode Confusion Potential - Leveson, Reese, et al. - 1997
25	The Ecology of Human-Machine Systems II: Mediating "Direct Perception - Vicente, Rasmussen - 1999
22	Fault trees: sensitivity of estimated failure probabilities to problem presentation - Fischoff, Slovic, et al. - 1978
21	Towards a theoretical base for representation design in the computer medium: ecological perception and aiding human cognition - Woods - 1995
20	Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool - Griswold, Notkin - 1995
17	A..Supporting operator problem solving through ecological interface design - Vicente, Christoffersen, et al. - 1995
15	On the difficulties people have in dealing with complexity - Dörner - 1980
14	Human factors of advanced technology, "glass flightdeck" transport aircraft (No - Wiener - 1989
10	Virtual ecology of work - Rasmussen, Pejtersen - 1995
10	Mental models and the control of action in complex environments - Rasmussen - 1990
8	M.: “Emergent Features in Visual Display Design for Two Types of Failure Detection Tasks.” Human Factors - Buttigieg, Sanderson - 1991
8	Supporting Knowledge-Based Behavior Through Ecological Interface Design - Vicente - 1991
6	Syntactic semantic interactions in programmer behavior: a model and experimental results - Shneiderman, Mayer - 1979
5	Modelling controller tasks for safety analysis - Brown, Leveson - 1998
4	Extension of human capability through information processing and display systems - Newman - 1966
4	ªRepresentational Effects on the Solving of an Unstructured Decision Problem,º - Smith - 1989
3	When Do Diagrams Make Good Programming Languages? Int - Fitter, Green - 1979
3	ªRequirements Specification for Process-Control Systems,º - Leveson, Heimdahl, et al. - 1994
2	Reflections on fault diagnostic expertise - Duncan - 1987
2	ªEmpirical Studies of Programming Knowledge,º - Soloway, Ehrlich - 1984
1	Visual representation in analogical program solving - Beveridge, Parkins - 1987
1	ªEcological Interface Design for a Power Plant Feedwater Subsystem,º - Dinadis, Vicente - 1996
1	do diagrams make good programming languages - When - 1979
1	The Nature of Expertise. Erlbaum - Overview - 1988
1	Logic, reasoning, and logic form - Harman - 1982