Requirements engineering as a key to holistic software quality

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

Volumn 4263 LNCS, Issue , 2006, Pages 24-34

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER NETWORKS; COMPUTER SOFTWARE; FUNCTION EVALUATION; MATHEMATICAL MODELS; USER INTERFACES;

SOFTWARE FUNCTIONALITY; SOFTWARE USERS; SYSTEM ARCHITECTURES;

REQUIREMENTS ENGINEERING;

EID: 33845252048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11902140_3     Document Type: Conference Paper

References (14)

1. AutoFOCUS - Webseite, http://autofocus.in.tum.de, 2005
2. D. Herzberg, M. Broy: Modeling layered distributed communication systems. Applicable Formal Methods. Springer Verlag, Volume 17, Number 1, May 2005
3. M. Broy, K. Stølen: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer 2001
4. M. Broy: Time, Abstraction, Causality, and Modularity in Interactive Systems. FESCA 2004. Workshop at ETAPS 2004, 1-8
5. M. Broy: The Semantic and Methodological Essence of Message Sequence Charts. Science of Computer Programming, SCP 54:2-3, 2004, 213-256
6. M. Broy: Challenges in Automotive Software Engineering. Key Note 28th International Conference on Software Engineering (ICSE 2006)
7. M. Broy, F. Deißenböck, M. Pizka: A Holistic Approach to Software Quality at Work. 3rd World Congress for Software Quality (3WCSQ)
8. M. Broy: Multi-view Modeling of Software Systems. Keynote. FM2003 Satellite Workshop on Formal Aspects of Component Software, 8-9 September 2003, Pisa, Italy
9. M. Broy: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures: The JANUS Approach. In: M. Broy, J. Grünbauer, D. Harel and T. Hoare: Engineering Theories of Software Intensive Systems, Marktoberdorf, 3-15 August 2004, Germany, NATO Science Series, II. Mathematics, Physics and Chemistry - Vol 195, Springer
10. M. Broy, I. Krüger, M. Meisinger: A Formal Model of Services. TOSEM 2006, to appear
11. E. Geisberger: Requirements Engineering eingebetteter Systeme - ein interdisziplinärer Modellierungsansatz. Dissertation, Technische Universität München, 2005. Shaker Verlag, ISBN: 3-8322-4619-3, www.shaker-online.com/
12. G. Le Lann: An Analysis of the Ariane 5 Flight 501 Failure - A System Engineering Perspective. 10th IEEE Intl. ECBS Conference, March 1997, 339-346.
13. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, T. Stauner: One Evaluation of Model-Based Testing and its Automation. Proc. 27th Intl. Conf. on Software Engineering (ICSE), pp. 392(401, St. Louis, May 2005
14. B. Selic, G. Gullekson. P.T. Ward: Real-time Object-oriented Modeling. Wiley, New York 1994