Requirements engineering: A perspective through theory-building

This paper puts forward the view that the life-cycle model of system development has been allowed to make the transition from a useful intellectual tool for discussing specific aspects of the process to a definitive statement of what the process actually "is". We argue that this hinders the discussion of Requirements Engineering in fundamental ways, and that challenges to the supremacy of this model are needed to open up effective debate. This is illustrated by the introduction of a model based on the construction of theories, which shifts the emphasis from a technocentric view of the process, where requirements are encoded in initial forms of a system, to one focused on the human understanding of situated systems. Thus requirements become the forces and constraints which influence the designer. We conclude by presenting samples of areas that can be discussed more effectively from this viewpoint.

[1]  E. Martin,et al.  Macmillan dictionary of life sciences , 1983 .

[2]  M.M. Lehman,et al.  Programs, life cycles, and laws of software evolution , 1980, Proceedings of the IEEE.

[3]  P. H. Sönksen,et al.  The directorate information system at St Thomas' hospital: a study in domain analysis , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[4]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[5]  Meir M. Lehman Programs, life cycles, and laws of software evolution , 1980 .

[6]  G. Ryle,et al.  心的概念 = The concept of mind , 1962 .

[7]  C. A. R. Hoare,et al.  Programming: Sorcery or Science? , 1984, IEEE Software.

[8]  E. Mayr,et al.  Toward a New Philosophy of Biology , 1988 .

[9]  Enid Mumford,et al.  Systems Design Ethical Tools for Ethical Change , 1996 .

[10]  Diana Kornbrot,et al.  Cognitive and Organisational Aspects of Design , 1994 .

[11]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[12]  C. Britton,et al.  Coding or comprehension? The essence of software system design , 1993 .

[13]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[14]  Janis A. Bubenko,et al.  Extending the Scope of Information Modelling , 1993, International Workshop on the Deductive Approach to Information Systems and Databases.

[15]  Christopher Alexander Notes on the Synthesis of Form , 1964 .

[16]  M. Sachs Objective Knowledge , 1974 .

[17]  I. Lakatos PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[18]  Martin James Loomes Software engineering curriculum design , 1991 .

[19]  Martin J. Loomes,et al.  Formal Methods: No Cure for Faulty Reasoning , 1997 .

[20]  Peter Naur,et al.  Programming as theory building , 1985 .

[21]  Joseph A. Goguen,et al.  Formality and Informality in Requirements Engineering , 1996, ICRE.