A framework for evaluating system and software requirements specification approaches

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1526, Issue , 1998, Pages 203-222

  Kamsties, Erik ^a   Rombach, H Dieter ^a  

^a FRAUNHOFER IESE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; REQUIREMENTS ENGINEERING; SYSTEMS ENGINEERING;

ANECDOTAL EVIDENCES; EVALUATING SYSTEMS; REQUIREMENTS DOCUMENT; REQUIREMENTS SPECIFICATIONS; RESEARCH AGENDA; SOFTWARE REQUIREMENTS SPECIFICATIONS; USER SATISFACTION;

EMBEDDED SYSTEMS;

EID: 84948143543     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10692867_9     Document Type: Conference Paper

References (49)

1. Norman Fenton. How effective are software engineering methods? Journal of Systems and Software, 22 (2):141-146, August 1993.
2. st International Conference on Empirical Assessment and Evaluation in Software Engineering, Keele (UK), March 1997. Keynote talk.
3. rd International Conference on Applications of Software Measurement, pages 1.021.12, 1992.
4. Christopher M. Lott and H. Dieter Rombach. Repeatable software engineering experiments for comparing defect-detection techniques. Journal of Empirical Software Engineering, 1996.
5. Victor R. Basili, Richard W. Selby, and David H. Hutchens. Experimentation in software engineering. IEEE Transactions on Software Engineering, SE-12 (7):733-743, July 1986.
6. Barbara Ann Kitchenham. Evaluating software engineering methods and tools. Parts 1 to 8. ACM SIGSoft Software Engineering Notes, 1996 and 1997.
7. Shari Lawrence Pfleeger. Experimental design and analysis in software engineering. Parts 1 to 5. ACM SIGSoft Software Engineering Notes, 1994 and 1995.
8. Bill Curtis. A methodological and empirical basis for research in software engineering. Technical report, Microelectronics and Computer Technology Corporation, 1988.
9. Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John Rushby, Hossein Saiedian, Jeannette Wing, and Pamela Zave. An invitation to formal methods. IEEE Computer, 29 (4):16-30, April 1996.
10. Ian Sommerville, Tom Rodden, Pete Sawyer, Richard Bentley, and Michael Twidale. Integrating ethnography into the requirements engineering process. In Proceedings of the IEEE International Symposium on Requirements Engineering (RE93), pages 165-173, San Diego, California, USA, January 1993.
11. Walter F. Tichy, Paul Lukowicz, Lutz Prechelt, and Ernst A. Heinz. Experimental evaluation in computer science: A quantitative study. Journal of Systems and Software, 28 (1):9-18, January 1995.
12. Victor R. Basili. The experimental paradigm in software engineering. In H. D. Rombach, V. R. Basili, and R. W. Selby, editors, Experimental Software Engineering Issues: A critical assessment and future directions, pages 3-12. Lecture Notes in Computer Science Nr. 706, Springer-Verlag, September 1992.
13. Pamela Zave. Classification of research efforts in requirements engineering. ACM Computing Surveys, 29 (4):315-321, 1997.
14. W-E.A. Mohamed, C. J. Sadler, and D. Law. Experimentation in software engineering: A new framework. In Proceedings of Software Quality Management '93, pages 417-430. Elsevier Science, Essex U.K., 1993.
15. Victor R. Basili and H. Dieter Rombach. The TAME Project: Towards improvement-oriented software environments. IEEE Transactions on Software Engineering, SE-14 (6):758-773, June 1988.
16. th Annual International Computer Software and Application Conference (COMPSAC), pages 471-485, Orlando, Florida, September 1989.
17. Victor R. Basili, Gianluigi Caldiera, and H. Dieter Rombach. Goal Question Metric Paradigm. In John J. Marciniak, editor, Encyclopedia of Software Engineering, volume 1, pages 528-532. John Wiley & Sons, 1994.
18. L. Briand, C. Differding, and D. Rombach. Practical guidelines for measurement-based process improvement. In Proceedings of the International Software Consulting Network Conference (ISCN’96), 1996.
19. Victor R. Basili, Gianluigi Caldiera, and H. Dieter Rombach. Experience Factory. In John J. Marciniak, editor, Encyclopedia of Software Engineering, volume 1, pages 469-476. John Wiley and Sons, 1994.
20. nd IEEE International Symposium on Requirements Engineering, page 66, York, U.K., March 1995. Panel session.
21. Michael Jackson, 1995. Concluding statement at the panel session on "Let’s have more Experimentation in Requirements Engineering" at the International Symposium on Requirements Engineering (RE’95).
22. Khaled El Elmam, Soizic Quintin, and Nazim H. Madhavji. User participation in the requirements engineering process: An empirical study. Requirements Engineering Journal, 1 (1):4-26, 1996.
23. Jeannette M. Wing. A study of 12 specifications of the library problem. IEEE Software, pages 66-76, July 1988.
24. Claus Lewerenz and Thomas Lindner (Eds.). Case study ‘production cell’. FZI-Publication 1/94, Forschungszentrum Informatik (FZI), Universitat Karlsruhe, Germany, 1994.
25. J.-R. Abrial, E. Börger, and H. Langmaack (Eds.). Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Lecture Notes in Computer Science. Springer, 1996.
26. th Annual Conf. on Computer Assurance, pages 3-8, Gaithersburg, MD, USA, June 1994.
27. Klaus Weidenhaupt, Klaus Pohl, Matthias Jarke, and Peter Haumer. Scenarios in system development: Current practice. IEEE Software, pages 34-45, March 1998.
28. Martin S. Feather, Steven Fickas, Anthony Finkelstein, and Axel van Lamsweerde. Requirements and specification exemplars. Automated Software Engineering, 4 (4):419-438, October 1997.
29. nd IEEE International Symposium on Requirements Engineering, pages 204-211, York, UK, March 1995.
30. Oliver Laitenberger and Jean-Marc DeBaud. Perspective-based reading of code documents at Robert Bosch GmbH. Information and Software Technology, 39:781-791, 1997.
31. Raimund L. Feldmann, Jürgen Münch, and Stefan Vorwieger. Experiences with systematic reuse: Applying the EF/QIP approach. In Proceedings of the European Reuse Workshop, Brussels, Belgium, November 1997.
32. Raimund L. Feldmann and Stefan Vorwieger. The web-based Interface to the SFB 501 Experience Base. SFB-501-TR-01/1998, Sonderforschungsbereich 501, Dept. of Computer Science, University of Kaiserslautern, 67653 Kaiserslautern, Germany, 1998.
33. th International Conference on Software Engineering, pages 370-381, May 1992.
34. Oliver Laitenberger. Perspective-based reading: Technique, validation, and research in future. ISERN-95-01, University of Kaiserslautern, Kaiserslautern, Germany, 1995.
35. R. R. Lutz and R. M. Woodhouse. Requirements analysis using forward and backward search. In Nancy R. Mead, editor, Software Requirements Engineering, volume 3 of Annals of Software Engineering, pages 459-475. Baltzer Science Publishers, September 1997.
36. Kenji Takahashi, Atsuko Oka, Shuichiro Yamamoto, and Sadahiro Isoda. A comparative study of structured and text-oriented analysis and design methodologies. Journal of Systems and Software, 28 (1):69-75, January 1995.
37. Kevin L. Mills. An experimental evaluation of specification techniques for improving functional testing. Journal of Systems and Software, 32 (1):83-95, January 1996.
38. Surya B. Yadav, Ralph R. Bravoco, Akemi T. Chatfield, and T. M. Rajkumar. Comparison of analysis techniques for information requirements determination. Communications of the ACM, 31 (9):1090-1097, September 1988.
39. Adam A. Porter, Lawrence G. Votta, and Victor R. Basili. Comparing detection methods for software requirements inspections: A replicated experiment. IEEE Transactions on Software Engineering, 21 (6):563-575, June 1995.
40. Victor R. Basili, Scott Green, Oliver Laitenberger, Filippo Lanubile, Forrest Shull, Sivert Sorumgard, and Marvin V. Zelkowitz. The empirical investigation of perspective-based reading. Journal of Empirical Software Engineering, 1 (2):133-164, 1996.
41. Iris Vessey and Sue A. Conger. Requirements specification: Learning object, process, and data methodologies. Communications of the ACM, 37 (5):102-113, May 1994.
42. David Jankowski. Computer-aided systems engineering methodology support and its effects on the output of structured analysis. Journal of Empirical Software Engineering, 2:11-38, 1997.
43. Lon D. Gowen and James S. Collofello. Assessing traditional verification’s effectiveness on safety-critical software systems. Journal of Systems and Software, 26 (2):103-115, August 1994.
44. Oliver Laitenberger and Jürgen Münch. Ein Prozeßmodell zur experimentellen Erprobung von Software-Entwicklungsprozessen. SFB-501-TR-04/1996, University of Kaiserslautern, Special Research Project 501, 1996. In german.
45. st edition, 1991.
46. Rational Software Corporation. Unified Modeling Language, 1997. Version 1.
47. James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
48. A. John van Schouwen. The A-7 requirements model: Re-examination for real-time systems and an application to monitoring systems. CRL Report № 242, McMaster University, CRL, Telecommunications Research Institute of Ontario (TRIO), Hamilton, Ontario, Canada, February 1992.
49. Erik Kamsties, Antje von Knethen, and Ralf Reussner. An empirical evaluation of two requirements specification techniques. Technical report, University of Kaiserslautern, Kaiserslautern, Germany, 1998. In preparation.