Abstract
Today engineering software intensive systems is still more or less handicraft or at most at the level of manufacturing. Many steps are done ad-hoc and not in a fully systematic way. Applied methods, if any, are not scientifically justified, not justified by empirical data and as a result carrying out large software projects still is an adventure. However, there is no reason why the development of software intensive systems cannot be done in the future with the same precision and scientific rigor as in established engineering disciplines. To do that, however, a number of scientific and engineering challenges have to be mastered. The first one aims at a deep understanding of the essentials of carrying out such projects, which includes appropriate models and effective management methods. What is needed is a portfolio of models and methods coming together with a comprehensive support by tools as well as deep insights into the obstacles of developing software intensive systems and a portfolio of established and proven techniques and methods with clear profiles and rules that indicate when which method is ready for application. In the following we argue that there is scientific evidence and enough research results so far to be confident that solid engineering of software intensive systems can be achieved in the future. However, yet quite a number of scientific research problems have to be solved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W.J., Spichkova, M.: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6), pp. 637-662 (2008)
Brooks, F.P. Jr.: The Mythical Man-Month: Essays on Software Engineering. Addison-Wesley (1975)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)
Broy, M.: A Theory of System Interaction: Components, Interfaces, and Services. In: D. Goldin, S. Smolka and P. Wegner (eds.): The New Paradigm. Springer Verlag, Berlin, pp. 41-96 (2006)
Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. ACM Trans. Softw. Eng. Methodol. 16(1) (February 2007)
Broy, M.: The ,Grand Challenge’ in Informatics: Engineering Software-Intensive Systems. IEEE Computer, pp. 72–80, Oktober (2006)
Broy, M.: Model-driven architecture-centric engineering of (embedded) software intensive systems: modelling theories and architectural milestones. Innovations Syst. Softw. Eng. 3(1), pp. 75-102 (2007)
Broy, M.: Interaction and Realizability, In: Jan van Leeuwen, Giuseppe F. Italiona, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil (eds.): SOFSEM 2007: Theory and Practice of Computer Science, Lecture Notes in Computer Science vol. 4362, pp. 29–50, Springer (2007)
Broy, M.: Seamless Model Driven Systems Engineering Based on Formal Models. In: Karin Breitman, Ana Cavalcanti (eds.): Formal Methods and Software Engineering. 11th International Conference on Formal Engineering Methods (ICFEM'09), Lecture Notes in Computer Science vol. 5885, pp.1-19. Springer (2009)
Broy, M.: Multifunctional Software Systems: Structured Modelling and Specification of Functional Requirements. Science of Computer Programming, accepted for publication
Hoare, T.: The verifying compiler: A grand challenge for computing research. J. ACM 50(1), pp. 63-69 (2003)
ISO DIS 26262
Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes 17(4) (October 1992)
Parnas, D.L.: Some Software Engineering Principles. In: Software fundamentals: collected papers by David L. Parnas, Addison-Wesley Longman Publishing Co., Inc Boston, MA, pp. 257-266 (2001)
Reiter, H.: Reduktion von Integrationsproblemen für Software im Automobil durch frühzeitige Erkennung und Vermeidung von Architekturfehlern. Ph. D. Thesis, Technische Universität München, Fakultät für Informatik, forthcoming
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. (2011). Seamless Method- and Model-based Software and Systems Engineering. In: Nanz, S. (eds) The Future of Software Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15187-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-15187-3_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15186-6
Online ISBN: 978-3-642-15187-3
eBook Packages: Computer ScienceComputer Science (R0)