The 'grand challenge' in informatics: Engineering software-intensive systems

Computer

Volumn 39, Issue 10, 2006, Pages 72-80

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENT ENGINEERING; HUMAN COMPUTER INTERACTION; REQUIREMENTS ENGINEERING;

DISCRETE EVENT SYSTEMS; INTERDISCIPLINARY DEVELOPMENT; MULTIFUNCTIONALITY; SOFTWARE-INTENSIVE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 33750131272     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2006.358     Document Type: Article

References (10)

1. M. Broy, "Challenges in Automotive Software Engineering," Keynote, Proc. 28th Int'l Conf. Software Eng. (ICSE 2006), ACM Press, 2006.
2. G. Le Lann, "An Analysis of the Ariane 5 Flight 501 Failure - A System Engineering Perspective," Proc. 10th IEEE Int'l ECBS Conf., IEEE Press, 1997, pp. 339-346.
3. M. Broy, F. Deissenböck, and M. Pizka, "A Holistic Approach to Software Quality at Work," Proc. 3rd World Congress Software Quality (3WCSQ), 2005; www4.in.tum.de/~pizka.
4. M. Broy, "Time, Abstraction, Causality, and Modularity in Interactive Systems," FESCAWorkshop, Proc. ETAPS 2004, pp. 1-8.
5. M. Broy, "The Semantic and Methodological Essence of Message Sequence Charts," Science of Computer Programming, vol. 54, nos. 2-3, 2004, pp. 213-256.
6. M. Broy, "Multiview Modeling of Software Systems," Proc. Workshop Formal Aspects of Component Software, Satellite Workshop of the FM 2003, The United Nations University and Int'l Institute for Software Technology UNU/IIST, report no. 284, 2003, pp. 3-10.
7. M. Broy, "Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures: The JANUS Approach," M. Broy et al., eds., Engineering Theories of Software Intensive Systems, Springer, 2004, pp. 47-82.
8. M. Broy, I. Krüger, and M. Meisinger, "A Formal Model of Services," to be published in ACM Trans. Software Eng. and Methodology, 2006.
9. A. Pretschner et al., "One Evaluation of Model-Based Testing and Its Automation," Proc. 27th Int'l Conf. Software Eng. (ICSE 05), ACM Press, 2005, pp. 392-401.
10. M. Broy and K. Stølen, Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement, Springer, 2001.