Requirements Engineering as a Key to Holistic Software Quality

  • Manfred Broy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4263)


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.


Requirement Engineering Embed System Software Quality Requirement Engineer Embed Device 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    AutoFocus – Webseite (2005),
  2. 2.
    Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Applicable Formal Methods 17(1) (May 2005)Google Scholar
  3. 3.
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)MATHGoogle Scholar
  4. 4.
    Broy, M.: Time, Abstraction, Causality, and Modularity in Interactive Systems. In: FESCA 2004. Workshop at ETAPS 2004, pp. 1–8 (2004)Google Scholar
  5. 5.
    Broy, M.: The Semantic and Methodological Essence of Message Sequence Charts. Science of Computer Programming, SCP 54(2-3), 213–256 (2004)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Broy, M.: Challenges in Automotive Software Engineering. In: Key Note 28th International Conference on Software Engineering (ICSE 2006) (2006)Google Scholar
  7. 7.
    Broy, M., Deißenböck, F., Pizka, M.: A Holistic Approach to Software Quality at Work. In: 3rd World Congress for Software Quality (3WCSQ)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. In: TOSEM 2006 (to appear)Google Scholar
  11. 11.
    Geisberger, E.: Requirements Engineering eingebetteter Systeme – ein interdisziplinärer Modellierungsansatz. Dissertation, Technische Universität München, Shaker Verlag (2005),, ISBN: 3-8322-4619-3
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Selic, B., Gullekson, G., Ward, P.T.: Real-time Object-oriented Modeling. Wiley, New York (1994)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations