Seamless Method-and Model-based Software and Systems Engineering

被引:4
作者
Broy, Manfred [1 ]
机构
[1] Tech Univ Munich, Inst Informat, D-80290 Munich, Germany
来源
FUTURE OF SOFTWARE ENGINEERING | 2011年
关键词
Formal methods; model based development;
D O I
10.1007/978-3-642-15187-3_2
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:33 / 47
页数:15
相关论文
共 15 条
  • [1] [Anonymous], 2001, Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement
  • [2] [Anonymous], 26262 ISO DIS
  • [3] [Anonymous], 1975, MYTHICAL MAN MONTH E
  • [4] On the correctness of upper layers of automotive systems
    Botaschanjan, Jewgenij
    Broy, Manfred
    Gruler, Alexander
    Harhurin, Alexander
    Knapp, Steffen
    Kof, Leonid
    Paul, Wolfgang
    Spichkova, Maria
    [J]. FORMAL ASPECTS OF COMPUTING, 2008, 20 (06) : 637 - 662
  • [5] Broy M., MULTIFUNCTI IN PRESS
  • [6] Broy M., 2006, INTERACTIVE COMPUTAT, P41
  • [7] A formal model of services
    Broy, Manfred
    Krueger, Ingolf H.
    Meisinger, Michael
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2007, 16 (01)
  • [8] Broy M, 2007, LECT NOTES COMPUT SC, V4362, P29
  • [9] The 'Grand Challenge' in informatics: Engineering software-intensive systems
    Broy, Manfred
    [J]. COMPUTER, 2006, 39 (10) : 72 - +
  • [10] Broy M, 2009, LECT NOTES COMPUT SC, V5885, P1, DOI 10.1007/978-3-642-10373-5_1