Abstract
Adequate software functionality and quality is a crucial issue in a society that vitally depends on software systems. The rising expectations of software users, the distribution of software over networks, size and complexity of today’s software systems bring our engineering abilities to limits. Functionality, the cost and the quality of software critically depend on an adequate requirements engineering. We argue in favor of systematic requirements engineering that is model-based, targeting comprehensive system architectures and deeply integrated into software life cycle models.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
AutoFocus – Webseite (2005), http://autofocus.in.tum.de
Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Applicable Formal Methods 17(1) (May 2005)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Broy, M.: Time, Abstraction, Causality, and Modularity in Interactive Systems. In: FESCA 2004. Workshop at ETAPS 2004, pp. 1–8 (2004)
Broy, M.: The Semantic and Methodological Essence of Message Sequence Charts. Science of Computer Programming, SCP 54(2-3), 213–256 (2004)
Broy, M.: Challenges in Automotive Software Engineering. In: Key Note 28th International Conference on Software Engineering (ICSE 2006) (2006)
Broy, M., Deißenböck, F., Pizka, M.: A Holistic Approach to Software Quality at Work. In: 3rd World Congress for Software Quality (3WCSQ)
Broy, M.: Multi-view Modeling of Software Systems. Keynote. In: FM 2003 Satellite Workshop on Formal Aspects of Component Software, September 8-9, 2003, Pisa, Italy (2003)
Broy, M.: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures: The Janus Approach. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, August 3–15, 2004. NATO Science Series, II. Mathematics, Physics and Chemistry, vol. 195, Springer, Heidelberg (2004)
Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. In: TOSEM 2006 (to appear)
Geisberger, E.: Requirements Engineering eingebetteter Systeme – ein interdisziplinärer Modellierungsansatz. Dissertation, Technische Universität München, Shaker Verlag (2005), www.shaker-online.com/ , ISBN: 3-8322-4619-3
Le Lann, G.: An Analysis of the Ariane 5 Flight 501 Failure - A System Engineering Perspective. In: 10th IEEE Intl. ECBS Conference, March 1997, pp. 339–346 (1997)
Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One Evaluation of Model-Based Testing and its Automation. In: Proc. 27th Intl. Conf. on Software Engineering (ICSE), St. Louis, May 2005, pp. 392–401 (2005)
Selic, B., Gullekson, G., Ward, P.T.: Real-time Object-oriented Modeling. Wiley, New York (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M. (2006). Requirements Engineering as a Key to Holistic Software Quality. In: Levi, A., Savaş, E., Yenigün, H., Balcısoy, S., Saygın, Y. (eds) Computer and Information Sciences – ISCIS 2006. ISCIS 2006. Lecture Notes in Computer Science, vol 4263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11902140_3
Download citation
DOI: https://doi.org/10.1007/11902140_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47242-1
Online ISBN: 978-3-540-47243-8
eBook Packages: Computer ScienceComputer Science (R0)