Classification of research efforts in requirements engineering

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Classification of research efforts in requirements engineering

Full text

Pdf (64 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 29 , Issue 4 (December 1997) table of contents

Pages: 315 - 321

Year of Publication: 1997

ISSN:0360-0300

Author

Pamela Zave

AT&T Labs

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 52, Downloads (12 Months): 397, Citation Count: 19

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/267580.267581 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ALFORD, M.W. 1977. A requirements engineering methodology for real-time processing requirements. IEEE Trans. Softw. Eng. III, 1 (Jan.) 60-69.
	2	Lawrence Chung , Brian A. Nixon, Dealing with non-functional requirements: three experimental studies of a process-oriented approach, Proceedings of the 17th international conference on Software engineering, p.25-37, April 24-28, 1995, Seattle, Washington, United States [doi>10.1145/225014.225017]
	3	A. Coen-Porisini , R. A. Kemmerer , D. Mandrioli, A Formal Framework for ASTRAL Intralevel Proof Obligations, IEEE Transactions on Software Engineering, v.20 n.8, p.548-561, August 1994 [doi>10.1109/32.310665]
	4	Anne Dardenne , Axel van Lamsweerde , Stephen Fickas, Goal-directed requirements acquisition, Science of Computer Programming, v.20 n.1-2, p.3-50, April 1993
	5	Philippe Du Bois , Eric Dubois , Jean-Marc Zeippen, On the Use of a Formal R.E. Language - The Generalized Railroad Crossing Problem, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.128, January 05-08, 1997
	6	EASTERBROOK, S. 1992. Domain modelling with hierarchies of alternative viewpoints. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 65- 72.
	7	Martin S. Feather, Language support for the specification and development of composite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.198-234, April 1987 [doi>10.1145/22719.22947]
	8	S. Fickas , M. S. Feather, Requirements monitoring in dynamic environments, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.140, March 27-29, 1995
	9	GOGUEN, J. A. AND LINDE, C. 1992. Techniques for requirements elicitation. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 152-164.
	10	HARRISON, M. AND BARNARD, P. 1992. On defining requirements for interaction. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 50-54.
	11	Mats P. E. Heimdahl , Nancy G. Leveson, Completeness and Consistency in Hierarchical State-Based Requirements, IEEE Transactions on Software Engineering, v.22 n.6, p.363-377, June 1996 [doi>10.1109/32.508311]
	12	Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996 [doi>10.1145/234426.234431]
	13	HENINGER, K. L. 1980. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Softw. Eng. VI, 1 (Jan.) 2-13.
	14	ISHIHARA, Y., SEKI, H., AND KASAMI, T. 1992. A translation method from natural language specifications into formal specifications using contextual dependencies. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 232-239.
	15	M. A Jackson, System development (Prentice-Hall International series in computer science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1983
	16	W. L. Johnson, Deriving specifications from requirements, Proceedings of the 10th international conference on Software engineering, p.428-438, April 11-15, 1988, Singapore
	17	Julio Cesar Leite , Gustav0 Rossi , Federico Balaguer , Vanesa Maiorana , Gladys Kaplan , Graciela Hadad , Alejandro Oliveros, Ten Steps Towards Systematic Requirements Reuse, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.6, January 05-08, 1997
	18	J. C. S. P. Leite , A. P. Oliveira, A client oriented requirements baseline, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.108, March 27-29, 1995
	19	LEFERING, M. 1992. An incremental integration tool between requirements engineering and programming in the large. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 82-89.
	20	Kar-Wing Edward Lor , Daniel M. Berry, Automatic Synthesis of SARA Design Models from System Requirements, IEEE Transactions on Software Engineering, v.17 n.12, p.1229-1240, December 1991 [doi>10.1109/32.106984]
	21	LUBARS, M., POTTS, C., AND RICHTER, C. 1992. A review of the state of the practice in requirements modeling. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 2-14.
	22	MAIDEN, N. A. M. AND SUTCLIFFE, A. G. 1992. Requirements engineering by example: An empirical study. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 104-111.
	23	J. E. Matson , B. E. Barrett , J. M. Mellichamp, Software Development Cost Estimation Using Function Points, IEEE Transactions on Software Engineering, v.20 n.4, p.275-287, April 1994 [doi>10.1109/32.277575]
	24	Tridas Mukhopadhyay , Sunder Kekre, Software Effort Models for Early Estimation of Process Control Applications, IEEE Transactions on Software Engineering, v.18 n.10, p.915-924, October 1992 [doi>10.1109/32.163607]
	25	Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein, A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification, IEEE Transactions on Software Engineering, v.20 n.10, p.760-773, October 1994 [doi>10.1109/32.328995]
	26	D L Parnas , P C Clements, A rational design process: How and why to fake it, IEEE Transactions on Software Engineering, v.12 n.2, p.251-257, Feb. 1986
	27	David Lorge Parnas , Jan Madey, Functional documents for computer systems, Science of Computer Programming, v.25 n.1, p.41-61, Oct. 1995 [doi>10.1016/0167-6423(95)96871-J]
	28	Adam A. Porter , Lawrence G. Votta, Jr. , Victor R. Basili, Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment, IEEE Transactions on Software Engineering, v.21 n.6, p.563-575, June 1995 [doi>10.1109/32.391380]
	29	B. Ramesh , T. Powers , C. Stubbs , M. Edwards, Implementing requirements traceability: a case study, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.89, March 27-29, 1995
	30	Howard B. Reubenstein , Richard C. Waters, The Requirements Apprentice: Automated Assistance for Requirements Acquisition, IEEE Transactions on Software Engineering, v.17 n.3, p.226-240, March 1991 [doi>10.1109/32.75413]
	31	RYAN, K. AND MATHEWS, B. 1992. Matching conceptual graphs as an aid to requirements reuse. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 112-120.
	32	SOMMERVILLE, I., RODDEN, T., SAWYER, P., BENTLEY, Z., AND TWIDALE, M. 1992. Integrating ethnography into the requirements engineering process. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186- 3120-1, 165-173.
	33	VAN SCHOUWEN, A. J., PARNAS, D. L., AND MADEY, J. 1992. Documentation of requirements for computer systems. In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society, ISBN 0-8186-3120-1, 198-207.
	34	A. Van Lamsweerde , R. Darimont , P. Massonet, Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.194, March 27-29, 1995
	35	E. Weyuker , T. Goradia , A. Singh, Automatically Generating Test Data from a Boolean Specification, IEEE Transactions on Software Engineering, v.20 n.5, p.353-363, May 1994 [doi>10.1109/32.286420]
	36	John Yen , W. Amos Tiao, A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.87, January 05-08, 1997
	37	Pamela Zave, An Insider's Evaluation of PAISLey, IEEE Transactions on Software Engineering, v.17 n.3, p.212-225, March 1991 [doi>10.1109/32.75412]
	38	Pamela Zave , Michael Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.4, p.379-411, Oct. 1993 [doi>10.1145/158431.158438]
	39	P Zave , W Schell, Salient features of and executable specification language and its environment, IEEE Transactions on Software Engineering, v.12 n.2, p.312-325, Feb. 1986

CITED BY 19

	Axel Jantsch , Ingo Sander, On the roles of functions and objects in system specification, Proceedings of the eighth international workshop on Hardware/software codesign, p.8-12, May 2000, San Diego, California, United States
	Axel van Lamsweerde, Requirements engineering in the year 00: a research perspective, Proceedings of the 22nd international conference on Software engineering, p.5-19, June 04-11, 2000, Limerick, Ireland
	Bashar Nuseibeh , Steve Easterbrook, Requirements engineering: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.35-46, June 04-11, 2000, Limerick, Ireland
	Jesús Bisbal , Jane Grimson, Consistent database sampling as a database prototyping approach, Journal of Software Maintenance: Research and Practice, v.14 n.6, p.447-459, November 2002
	Guadalupe Salazar-Zárate , Pere Botella , Ajantha Dahanayake, Introducing non-functional requirements in UML, UML and the unified process, Idea Group Publishing, Hershey, PA, 2003
	Robyn R. Lutz, Software engineering for safety: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.213-226, June 04-11, 2000, Limerick, Ireland
	Brian A. Nixon, Management of Performance Requirements for Information Systems, IEEE Transactions on Software Engineering, v.26 n.12, p.1122-1146, December 2000
	Axel van Lamsweerde , Emmanuel Letier, Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, v.26 n.10, p.978-1005, October 2000
	A. J. J. Dick , M. E. C. Hull , K. Jackson, Specifying process and measuring progress in terms of information state, Journal of Systems and Software, v.76 n.3, p.311-322, June 2005
	Karl Cox , Steven J. Bleistein , Peter Reynolds , Alan Thorogood, A contingency view of organizational infrastructure requirements engineering, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	John Brier , Lucia Rapanotti , Jon G. Hall, Problem-based analysis of organisational change: a real-world example, Proceedings of the 2006 international workshop on Advances and applications of problem frames, May 23-23, 2006, Shanghai, China
	Peter Reynolds, Managing requirements for a US$1bn IT-based business transformation: New approaches and challenges, Journal of Systems and Software, v.80 n.3, p.285-293, March, 2007
	Betty H. C. Cheng , Joanne M. Atlee, Research Directions in Requirements Engineering, 2007 Future of Software Engineering, p.285-303, May 23-25, 2007
	Aries Ang , Michael Ian Hartley, Object oriented knowledge representation framework for requirements engineering, Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, p.477-482, April 02-04, 2007, Phuket, Thailand
	Remo N. Ferrari , Nazim H. Madhavji, Architecting-problems rooted in requirements, Information and Software Technology, v.50 n.1-2, p.53-66, January, 2008
	Ann M. Hickey , Alan M. Davis, A Unified Model of Requirements Elicitation, Journal of Management Information Systems, v.20 n.4, p.65-84, Number 4/Spring 2004
	Jing Dong , Paulo S. C. Alencar , Donald D. Cowan , Sheng Yang, Composing pattern-based components and verifying correctness, Journal of Systems and Software, v.80 n.11, p.1755-1769, November, 2007
	Paolo Guarda , Nicola Zannone, Towards the development of privacy-aware systems, Information and Software Technology, v.51 n.2, p.337-350, February, 2009
	Remo Ferrari , Nazim H. Madhavji, Software architecting without requirements knowledge and experience: What are the repercussions?, Journal of Systems and Software, v.81 n.9, p.1470-1490, September, 2008

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING

General Terms:
Design, Performance

REVIEW

"Marian Gheorghe : Reviewer"

A classification scheme for research in requirements engineering is presented. Two main dimensions of this field are briefly discussed: problems occurring during this process and solutions to those problems. Three categories of problems are id more...

Collaborative Colleagues:

Pamela Zave: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player