Requirements Engineering Annotated Bibliography

2.2 Foundations (selected readings in related disciplines) ________________________ 4 2.2.1 Linguistics _______________________________________________________________ 4 2.2.2 Logic & Formal Methods____________________________________________________ 4 2.2.3 Usability and HCI _________________________________________________________ 4 2.2.4 Computer-Supported Collaborative Work _______________________________________ 4 2.2.5 Software Architecture ______________________________________________________ 4 2.2.6 Social Sciences____________________________________________________________ 4 2.2.7 Philosophy _______________________________________________________________ 4

[1]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[2]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[3]  Joseph A. Goguen,et al.  Techniques for requirements elicitation , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[4]  Marcello R. Napolitano,et al.  Experience in developing system requirements specification for a sensor failure detection and identification scheme , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[5]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[6]  Ian Sommerville,et al.  Social analysis in the requirements engineering process: from ethnography to method , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[7]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[8]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[9]  Jonathan Rosenhead,et al.  Soft Systems Methodology in Action , 1991 .

[10]  Klaus Pohl.  Requirements Engineering: An Overview , 1996 .

[11]  Lawrence Chung,et al.  Dealing with Security Requirements During the Development of Information Systems , 1993, CAiSE.

[12]  Hitoshi Kume,et al.  A Case History Analysis of Software Error Cause-Effect Relationships , 1991, IEEE Trans. Software Eng..

[13]  Ian Sommerville,et al.  Requirements Engineering: Processes and Techniques , 1998 .

[14]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[15]  Pericles Loucopoulos,et al.  Enterprise Modelling and the Teleological Approach to Requirements Engineering , 1995, Int. J. Cooperative Inf. Syst..

[16]  Robyn R. Lutz,et al.  Safety analysis of requirements for a product family , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[17]  Gerald Kotonya,et al.  Software Requirements Engineering , 1999 .

[18]  Andreas L. Opdahl,et al.  Generalization/specialization as a structuring mechanism for misuse cases , 2002 .

[19]  Phil Sully,et al.  Modelling the world with objects , 1993 .

[20]  Dino Mandrioli,et al.  Formal Methods for Real-Time Computing , 1996 .

[21]  Mark Saaltink,et al.  The Z/EVES System , 1997, ZUM.

[22]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[23]  Watts S. Humphrey,et al.  A discipline for software engineering , 2012, Series in software engineering.

[24]  Barry W. Boehm,et al.  Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach , 1995, 1995 17th International Conference on Software Engineering.

[25]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[26]  Robert Balzer,et al.  On the inevitable intertwining of specification and implementation , 1982, CACM.

[27]  Ruth Milkman,et al.  Microsoft Secrets: How the World's Most Powerful Software Company Creates Technology, Shapes Markets, and Manages People , 1995 .

[28]  Butler W. Lampson,et al.  Distributed Systems - Architecture and Implementation, An Advanced Course , 1981, Advanced Course: Distributed Systems.

[29]  S. Easterbrook.  CSCW: Cooperation or Conflict? , 1993, Computer Supported Cooperative Work.

[30]  Susan Carlson Skalak.  House of Quality , 2002 .

[31]  William N. Robinson,et al.  Supporting the negotiation life cycle , 1998, CACM.

[32]  Gerald M. Weinberg,et al.  Are Your Lights On?: How to Figure Out What the Problem Really is , 1982 .

[33]  Albert Endres,et al.  An analysis of errors and their causes in system programs , 1975, IEEE Transactions on Software Engineering.

[34]  Pamela Zave.  Classification of research efforts in requirements engineering , 1997, ACM Comput. Surv..

[35]  Karen Holtzblatt,et al.  Requirements gathering: the human factor , 1995, CACM.

[36]  Richard C. Waters,et al.  The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..

[37]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[38]  Joseph A. Goguen,et al.  Requirements engineering: social and technical issues , 1994 .

[39]  Richard Stevens,et al.  Systems engineering : coping with complexity , 1998 .

[40]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[41]  Karan Harbison,et al.  User-Centered Requirements: The Scenario-Based Engineering Process , 1997 .

[42]  Tom Parke,et al.  Software specification techniques , 1988 .

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

[44]  Galal H. Galal-Edeen,et al.  Stakeholder identification in the requirements engineering process , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[45]  Alan M. Davis,et al.  Operational prototyping: a new development approach , 1992, IEEE Software.

[46]  Roel Wieringa,et al.  Requirements Engineering: Frameworks for Understanding , 1996 .

[47]  Jeffrey O. Grady.  System requirements analysis , 1993 .

[48]  Peter Henderson,et al.  Executing formal specifications need not be harmful , 1996, Softw. Eng. J..

[49]  James B. Martin,et al.  Principles of object-oriented analysis and design , 1993, notThenot James Martin Books.

[50]  Pericles Loucopoulos,et al.  System Requirements Engineering , 1995, System Requirements Engineering.

[51]  Rossouw von Solms,et al.  Formalizing information security requirements , 2001, Inf. Manag. Comput. Secur..

[52]  J. F. M. Burg,et al.  Linguistic instruments in requirements engineering , 1996 .

[53]  Vincenzo Gervasi,et al.  Processing natural language requirements , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[54]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[55]  Ruth Carter,et al.  Systems, Management and Change: A Graphic Guide , 1984 .

[56]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[57]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[58]  Mik Lamming,et al.  Interactive system design , 1995 .

[59]  Stephen J. Andriole.  Managing systems requirements : methods, tools, and cases , 1996 .

[60]  Tom DeMarco,et al.  Complete Systems Analysis: The Workbook, the Textbook, the Answers , 1994 .

[61]  Sol J. Greenspan,et al.  Requirements engineering using the SOS paradigm , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[62]  Tom DeMarco.  Why Does Software Cost So Much , 1995 .

[63]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[64]  Axel van Lamsweerde,et al.  Integrating obstacles in goal-driven requirements engineering , 1998, Proceedings of the 20th International Conference on Software Engineering.

[65]  Benjamin L. Kovitz,et al.  Practical Software Requirements: A Manual of Content and Style , 1998 .

[66]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[67]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[68]  Bashar Nuseibeh.  Ariane 5: Who Dunnit? , 1997, IEEE Software.

[69]  Neil A. M. Maiden,et al.  Exploiting reusable specifications through analogy , 1992, CACM.

[70]  Neil A. M. Maiden,et al.  ACRE: selecting methods for requirements acquisition , 1996, Softw. Eng. J..

[71]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[72]  Grigoris Antoniou.  The Role of Nonmonotonic Representations in Requirements Engineering , 1998, Int. J. Softw. Eng. Knowl. Eng..

[73]  Colin Potts,et al.  Requirements models in context , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[74]  NakajoTakeshi,et al.  A case history analysis of software error cause-effect relationships , 1991 .

[75]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[76]  Ian Sommerville,et al.  The Viewpoints FAQ: Editorial-Viewpoints in Requirements Engineering , 1996 .

[77]  Brian R. Gaines,et al.  Requirements acquisition , 1996, Softw. Eng. J..

[78]  Peter Johnson,et al.  Human computer interaction: Psychology, task analysis, and software engineering , 1992 .

[79]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[80]  Vlatko Čerić,et al.  Rational Analysis for a Problematic World: Problem Structuring Methods for Complexity, Uncertainty and Conflict , 1991 .

[81]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[82]  Kenji Takahashi,et al.  Inquiry-based requirements analysis , 1994, IEEE Software.

[83]  Barbara Farbey,et al.  Exploring Requirements: Quality Before Design , 1991 .

[84]  Donald Firesmith.  Object-oriented requirements analysis and logical design - a software engineering approach , 1993, Wiley professional computing.

[85]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[86]  Michael Jackson,et al.  Domain descriptions , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.