Model-Based Development of Software: A Panacea or Academic Poppycock

被引：0
|
作者：
Heitmeyer, Constance [1 ]
机构：
[1] Naval Res Lab, Ctr High Assurance Comp Syst, Washington, DC 20375 USA
来源：
MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS | 2013年 / 8107卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [1] A panacea or academic poppycock: Formal methods revisited
    Heitmeyer, C
    [J]. NINTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING, 2005, : 3 - 7
  • [2] Software for model-based Development and Simulation
    不详
    [J]. ATP EDITION, 2009, (1-2): : 29 - 29
  • [3] Components in Model-Based Software Development
    Tyugu, Enn
    Grigorenko, Pavel
    [J]. 2013 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2013,
  • [4] Model-based software development with eclipse
    Reussner, Ralf
    Becker, Steffen
    [J]. QUALITY OF SOFTWARE ARCHITECTURES, 2006, 4214 : 5 - +
  • [5] Model-Based Software Development - Autocode to Autosar
    Patel, Keyur R.
    [J]. 2022 IEEE/AIAA TRANSPORTATION ELECTRIFICATION CONFERENCE AND ELECTRIC AIRCRAFT TECHNOLOGIES SYMPOSIUM (ITEC+EATS 2022), 2022, : 534 - 539
  • [6] Model-based development of in-vehicle software
    Conrad, Mirko
    Doerr, Heiko
    [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 87 - 88
  • [7] The Modelery: a model-based software development repository
    Couto, Rui
    Nestor Ribeiro, Antonio Manuel
    Creissac Freitas de Campos, Jose Francisco
    [J]. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2015, 11 (02) : 205 - 225
  • [8] A classification and rationalization of model-based software development
    Zheng, Yongjie
    Taylor, Richard N.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2013, 12 (04): : 669 - 678
  • [9] Monarch: Model-Based Development of Software Architectures
    Bagheri, Hamid
    Sullivan, Kevin
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT II, 2010, 6395 : 376 - 390
  • [10] A classification and rationalization of model-based software development
    Yongjie Zheng
    Richard N. Taylor
    [J]. Software & Systems Modeling, 2013, 12 : 669 - 678
12345