MoDeVVa 2018 15th workshop on model-driven engineering, verification and validation

被引：0
|
作者：
机构：
[1] Abid, Saad
[2] Balaban, Mira
[3] Bibal, Adrien
[4] Bisson, Gilles
[5] Boulanger, Frédéric
[6] Bouquet, Fabrice
[7] Chechik, Marsha
[8] Chen, Hao
[9] Cheng, Chih-Hong
[10] De Lara, Juan
[11] Derrick, John
[12] Famelis, Michalis
[13] Lambers, Leen
[14] Legeard, Bruno
[15] Merayo, Mercedes
[16] Minea, Marius
[17] Sokenou, Dehla
[18] Spichkova, Maria
[19] Wimmer, Manuel
[20] De Oliveira, Raquel Araújo
[21] Lúcio, Levi
[22] Posse, Ernesto
[23] Zalila, Faiez
来源：
| 2018年 / CEUR-WS卷 / 2245期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview
    Wijs, Anton
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 206 - 227
  • [22] A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards
    Panesar-Walawege, Rajwinder Kaur
    Sabetzadeh, Mehrdad
    Briand, Lionel
    22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2011, : 30 - 39
  • [23] Institution-based foundations for verification in the context of model-driven engineering
    Calegari, Daniel
    Szasz, Nora
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 107 : 41 - 63
  • [24] Model-Driven Engineering Ecosystems
    Graciano Neto, Valdemar Vicente
    Basso, Fabio
    dos Santos, Rodrigo Pereira
    Bakar, Noor Hasrina
    Kassab, Mohamad
    Werner, Claudia
    Oliveira, Toacy
    Nakagawa, Elisa Yumi
    2019 IEEE/ACM 7TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS AND 13TH WORKSHOP ON DISTRIBUTED SOFTWARE DEVELOPMENT, SOFTWARE ECOSYSTEMS AND SYSTEMS-OF-SYSTEMS (SESOS-WDES 2019), 2019, : 58 - 61
  • [25] Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011)
    Botterweck, Goetz
    Pleuss, Andreas
    Rubin, Julia
    Schwanninger, Christa
    MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 385 - +
  • [26] 15th European Workshop on Micromechanics (MME)
    Puers, B
    JOURNAL OF MICROMECHANICS AND MICROENGINEERING, 2005, 15 (07)
  • [27] Model Patches in Model-Driven Engineering
    Cicchetti, Antonio
    Di Ruscio, Davide
    Pierantonio, Alfonso
    MODELS IN SOFTWARE ENGINEERING, 2010, 6002 : 190 - +
  • [28] Model-Driven Allocation Engineering
    Pohlmann, Uwe
    Huewe, Marcus
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 374 - 384
  • [29] Model-driven reverse engineering
    Rugaber, S
    Stirewalt, K
    IEEE SOFTWARE, 2004, 21 (04) : 45 - +
  • [30] Continuous Model-Driven Engineering
    Margaria, Tiziana
    Steffen, Bernhard
    COMPUTER, 2009, 42 (10) : 106 - 109
12345