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 条
  • [1] Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21)
    Bin Abid, Saad
    Oliveira, Raquel
    Ober, Iulian
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 244 - 245
  • [2] Preface to the 19th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2022)
    Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings, 2022,
  • [3] Preface to the 21th edition of the Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2024)
    Abid, Saad Bin
    Kosiol, Jens
    Mittal, Rakshit
    Ober, Iulian
    Posse, Ernesto
    Al Lail, Mustafa
    Balaban, Mira
    Bandyoapdhyay, Soumyadip
    Bezerra, Juliana
    Boulanger, Frederic
    Bouquet, Fabrice
    Cheng, Chih-Hong
    Derrick, John
    Kahani, Nafiseh
    Merayo, Mercedes
    Minea, Marius
    Schweiger, Andreas
    Sokenou, Dehla
    Spichkova, Maria
    Teodorov, Ciprian
    Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2024,
  • [4] Model Driven Engineering, Verification and Validation (MoDeVVa 2023)
    Lehner, Daniel
    Weiss, Gera
    Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023, 2023, : 778 - 780
  • [5] 4th International Workshop on Model Driven Engineering, verification, and validation: Integrating verification and validation in MDE
    Baudry, Benoit
    Faivre, Alain
    Ghosh, Sudipto
    Pretschner, Alexander
    MODELS IN SOFTWARE ENGINEERING, 2008, 5002 : 145 - +
  • [6] 13th Model-Driven Requirements Engineering (MoDRE) Workshop
    Moreira, Ana
    Araujo, Joao
    Mussbacher, Gunter
    Sanchez, Pablo
    2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 245 - 246
  • [7] Preface to 9th international workshop on model-driven requirements engineering
    Bencomo, Nelly
    Mussbacher, Gunter
    Moreira, Ana
    Araujo, Joao
    Sanchez, Pablo
    Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019, 2019,
  • [8] Validation in model-driven engineering: Testing model transformations
    Fleurey, F
    Steel, J
    Baudry, B
    SIVOES-MODEVA 2004, PROCEEDINGS, 2004, : 29 - 40
  • [9] A Model-driven Validation & Verification Environment for Embedded Systems
    Gargantini, A.
    Riccobene, E.
    Scandurra, P.
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 241 - +
  • [10] 4th workshop on model-based and model-driven software modernization (MMSM 2018)
    Sauer, Stefan
    Becker, Steffen
    Riebisch, Matthias
    Konersmann, Marco
    Heinrich, Robert
    CEUR Workshop Proceedings, 2018, 2060
12345