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
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页数:1
相关论文
共 50 条
  • [21] MapleSim, the latest Software for model-based Development and Simulation
    不详
    [J]. ATP EDITION, 2008, (10): : 36 - 36
  • [22] Model-based Development of embedded Vehicle Software at DaimlerChrysler
    Conrad, Mirko
    Fey, Ines
    Grochtmann, Matthias
    Klein, Torsten
    [J]. COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2005, 20 (1-2): : 3 - 10
  • [23] Embedding Model-Based Security Policies in Software Development
    Navarro-Machuca, Javier
    Chen, Li-Chiou
    [J]. 2016 IEEE 2ND INTERNATIONAL CONFERENCE ON BIG DATA SECURITY ON CLOUD (BIGDATASECURITY), IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE AND SMART COMPUTING (HPSC), AND IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA AND SECURITY (IDS), 2016, : 116 - 122
  • [24] An Extensible Model-based Framework for Robotics Software Development
    Ramaswamy, Arunkumar
    Monsuez, Bruno
    Tapus, Adriana
    [J]. 2017 FIRST IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC), 2017, : 73 - 76
  • [25] Model-based performance prediction in software development: A survey
    Balsamo, S
    Di Marco, A
    Inverardi, P
    Simeoni, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (05) : 295 - 310
  • [26] Secure software development and testing: A model-based methodology
    Casola, Valentina
    De Benedictis, Alessandra
    Mazzocca, Carlo
    Orbinato, Vittorio
    [J]. COMPUTERS & SECURITY, 2024, 137
  • [27] Model-Based Task Allocation in Distributed Software Development
    Lamersdorf, Ansgar
    Muench, Juergen
    [J]. SOFTWARE ENGINEERING APPROACHES FOR OFFSHORE AND OUTSOURCED DEVELOPMENT, 2010, 54 : 37 - 53
  • [28] Automated Unit Testing in Model-based Embedded Software Development
    Luckeneder, Christoph
    Kaindl, Hermann
    Korinek, Martin
    [J]. ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 427 - 434
  • [29] Future trends of software technology and applications model-based development
    Knight, John C.
    [J]. 30th Annual International Computer Software and Applications Conference, Vol 1, Regular Papers/Panels, Proceedings, 2006, : 18 - 18
  • [30] Changeability on Demand - A support system for model-based software development
    Legat, Christoph
    Schuetz, Daniel
    Feldmann, Stefan
    Lamparter, Steffen
    Seitz, Christian
    Vogel-Heuser, Birgit
    [J]. ATP EDITION, 2013, (05): : 30 - 39