A controlled experiment to evaluate how styles affect the understandability of requirements specifications

Information and Software Technology

Volumn 45, Issue 14, 2003, Pages 955-965

  Kamsties, Erik ^a   Von Knethen, Antje ^b   Reussner, Ralf ^c  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b FRAUNHOFER IESE   (Germany)

^c MONASH UNIVERSITY   (Australia)

Author keywords

Experiment; Software cost reduction; Specification style; Understandability; Unified modeling language

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DECISION MAKING;

REQUIREMENTS SPECIFICATION LANGUAGE (RSL);

COMPUTER SOFTWARE;

EID: 0141621113     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00098-3     Document Type: Conference Paper

References (26)

1. Davis A. Requirements Engineering: Objects, Functions, States. 1993;Prentice-Hall, New Jersey.
2. Briand L.C., Bunse C., Daly J. A controlled experiment for evaluating quality guidelines on the maintainability of object-oriented designs. IEEE Transactions on Software Engineering. 27:(6):2001;513-529.
3. OMG Unified Modeling Language, Technical report, Rational Software Corporation, Version, 13, June 1999.
4. Heitmeyer C.L., Jeffords R.D., Labaw B.G. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology. 5:(3):1996;231-261.
5. Recommendation Z. 100, Specification and Description Language (SDL), ITU, 1993.
6. Jones C.B. Systematic Software Development Using VDM. 1990;Prentice Hall, New Jersey, USA.
7. Spivey J.M. The Z Notation - A Reference Manual. 1992;Prentice-Hall, New Jersey.
8. Gause D.C., Weinberg G.M. Exploring Requirements: Quality Before Design. 1989;House, Dorset.
9. Curtis B., Sheppard S.B., Kruesi-Bailey E., Bailey J., Boehm-Davis D.A. Experimental evaluation of software documentation formats. Journal of Systems and Software. 9:1989;167-207.
10. Briand L.C., Bunse C., Daly J.W., Differding C. An experimental comparison of the maintainability of object-oriented and structured design documents. Empirical Software Engineering. 2:1997;291-312.
11. A. von Knethen, Change-Oriented Requirements Traceability. Support for evolution of Embedded Systems, PhD Theses in Experimental Software Engineering, vol. 9, Fraunhofer IRB, 2002.
12. Britton C., Jones S. The untrained eye: how languages for software specification support understanding in untrained users. Human-Computer Interaction. 14:(1/2):1999;191-244.
13. Bodart F., Patel A., Sim M., Weber R. Should optional properties be used in conceptual modelling? A theory and three empirical tests. Information Systems Research. 12:(4):2001;384-405.
14. Sommerville I., Sawyer P. Requirements Engineering - A good practice guide. 1997;Wiley, New York.
15. Kovitz B.L. Practical Software Requirements - A Manual of Content and Style. 1998;Manning.
16. D.M. Berry, What, Not How? When Is 'How' Really 'What'? and Some Thoughts on Quality Requirements, Technical Report, University of Waterloo, Waterloo, Ont., Canada, July, 2000.
17. Heninger K.L. Specifying software requirements for complex systems: new techniques and their application. IEEE Transactions on Software Engineering. SE-6:(1):1980;2-13.
18. C. Heitmeyer, A. Bull, C. Gasarch, B. Labaw, SCR*: A toolset for specifying and analyzing requirements, in: Proceedings of the 10th Annual Conferenceon Computer Assurance, Gaithersburg, MD, USA, June 1995, pp. 109-122.
19. Booch G., Jacobson I., Rumbaugh J. The Unified Software Development Process. 1998;Addison-Wesley.
20. Awad M., Kuusela J., Ziegler J. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. 1996;Prentice-Hall, New Jersey.
21. E. Kamsties, A. von Knethen, M. Ehresmann, M. Schank, Experimental materials of the controlled experiment on the understandability of requirements specification styles, http://www.sse.uni-essen.de, homepage of E. Kamsties.
22. H.D. Mills, Stepwise refinement and verification in box-structured systems, IEEE Computer, June 1988.
23. Spector P. Research Designs, Quantitative Applications in the Social Sciences. 1981;Sage Publications.
24. Wohlin C., Runeson P., Höst M., Ohlsson M.C., Regnell B., Wesslén A. Experimentation in Software Engineering, The Kluwer International Series in Software Engineering. 2000;Kluwer Academic Publishers, Dordrecht.
25. J. Miller, J. Daly, M. Wood, M. Roper, A. Brooks, Statistical Power and its subcomponents - missing and misunderstood concepts in empirical software engineering research, Technical Report EFOCS-15-94. Department of Computer Science, University of Strathclyde, Scotland, 1994.
26. E. Kamsties, A. von Knethen, J. Philipps, B. Schaetz, An Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Techniques, in: Proceedings of the Sixth CAiSE/IFIP8.1 International Workshop on Evaluation of Modelling Methods in Systems Analysis and Design (EMMSAD'01), Interlaken, CH (June 2001).