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 条
  • [31] Model-Driven Useware Engineering
    Meixner, Gerrit
    Seissler, Marc
    Breiner, Kai
    MODEL-DRIVEN DEVELOPMENT OF ADVANCED USER INTERFACES, 2011, 340 : 1 - +
  • [32] Model-driven ontology engineering
    Pan, Yue
    Xie, Guotong
    Ma, Li
    Yang, Yang
    Qiu, ZhaoMing
    Lee, Juhnyoung
    JOURNAL ON DATA SEMANTICS VII, 2006, 4244 : 57 - 78
  • [33] A Model-Driven Engineering Approach for Validation of Power System Automation Solutions
    Sivanthi, Thanikesavan
    Moga, Alexandru
    Eidenbenz, Raphael
    Franke, Carsten
    2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 879 - 886
  • [34] Model-driven system-level validation and verification on the space software domain
    Aarón Montalvo
    Pablo Parra
    Óscar Rodríguez Polo
    Alberto Carrasco
    Antonio Da Silva
    Agustín Martínez
    Sebastián Sánchez
    Software and Systems Modeling, 2022, 21 (6): : 2367 - 2394
  • [35] Model-driven system-level validation and verification on the space software domain
    Montalvo, Aaron
    Parra, Pablo
    Rodriguez Polo, Oscar
    Carrasco, Alberto
    Da Silva, Antonio
    Martinez, Agustin
    Sanchez, Sebastian
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2367 - 2394
  • [36] Hierarchical verification and validation in a forward model-driven structural health monitoring strategy
    Wilson, James
    Manson, Graeme
    Gardner, Paul
    Barthorpe, Robert J.
    STRUCTURAL HEALTH MONITORING-AN INTERNATIONAL JOURNAL, 2024, 23 (04): : 2358 - 2390
  • [37] Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes
    Dou, Wei
    Bianculli, Domenico
    Briand, Lionel
    SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014, 8769 : 190 - 197
  • [38] Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation
    Panesar-Walawege, Rajwinder Kaur
    Sabetzadeh, Mehrdad
    Briand, Lionel
    INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (05) : 836 - 864
  • [39] MELO 2011-1st Workshop on Model-Driven Engineering, Logic and Optimization
    Cabot, Jordi
    Albert, Patrick
    Dupe, Gregoire
    del Fabro, Marcos Didonet
    Lee, Scott
    MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 379 - +
  • [40] Meeting. 15th biennial color workshop
    Photogramm Eng Remote Sens, 5 (617):
12345