Finding Models in Model-Based Development (Abstract)

被引:0
|
作者
Schulte, Wolfram [1 ]
Jackson, Ethan [1 ]
机构
[1] Microsoft Res, Redmond, WA USA
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:591 / 591
页数:1
相关论文
共 50 条
  • [1] Design verification in model-based μ-controller development using an abstract component
    Choi, Yunja
    Bunse, Christian
    SOFTWARE AND SYSTEMS MODELING, 2011, 10 (01): : 91 - 115
  • [2] Student Research Abstract: A Toolchain for Model-Based Development of a Robot Application
    Trezzy, Mickael
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1510 - 1513
  • [3] Design verification in model-based μ-controller development using an abstract component
    Yunja Choi
    Christian Bunse
    Software & Systems Modeling, 2011, 10 : 91 - 115
  • [4] Model-based dose finding under model uncertainty using general parametric models
    Pinheiro, Jose
    Bornkamp, Bjoern
    Glimm, Ekkehard
    Bretz, Frank
    STATISTICS IN MEDICINE, 2014, 33 (10) : 1646 - 1661
  • [5] Abstract Interpretation of Programs for Model-Based Debugging
    Mayer, Wolfgang
    Stumptner, Markus
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 471 - 476
  • [6] Model-based Derivation and Refinement of Abstract Programs
    Mano, N.
    Denki Gakkai Ronbunshi. C, Erekutoronikusu Joho Kogaku, Shisutemu, 1995, 115 (08):
  • [7] Development of class models for model-based automatic target recognition
    Williams, W
    Wojdacki, J
    Keydel, E
    Freeling, R
    Morgan, A
    Sieron, R
    Stanhope, S
    Rajlich, V
    ALGORITHMS FOR SYNTHETIC APERTURE RADAR IMAGERY VI, 1999, 3721 : 650 - 660
  • [8] Finite mixture models and model-based clusteringFinite mixture models and model-based clustering
    Melnykov, Volodymyr
    Maitra, Ranjan
    STATISTICS SURVEYS, 2010, 4 : 80 - 116
  • [9] Model-based development
    Robert France
    Bernhard Rumpe
    Software & Systems Modeling, 2008, 7 : 1 - 2
  • [10] Model-based development
    France, Robert
    Rumpe, Bernhard
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 1 - 2