ProMoBox: A framework for generating domain-specific property languages

被引：0
|
作者：
机构：
[1] Meyers, Bart
[2] Deshayes, Romuald
[3] Lucio, Levi
[4] Syriani, Eugene
[5] 1,Vangheluwe, Hans
[6] Wimmer, Manuel
来源：
| 1600年 / Springer Verlag卷 / 8706期
关键词：
Model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] ProMoBox: A framework for generating domain-specific property languages
    1600, Springer Verlag (8706):
  • [2] ProMoBox: A Framework for Generating Domain-Specific Property Languages
    Meyers, Bart
    Deshayes, Romuald
    Lucio, Levi
    Syriani, Eugene
    Vangheluwe, Hans
    Wimmer, Manuel
    SOFTWARE LANGUAGE ENGINEERING, SLE 2014, 2014, 8706 : 1 - +
  • [3] Generating Version Convertors for Domain-Specific Languages
    de Geest, Gerardo
    Vermolen, Sander
    van Deursen, Arie
    Visser, Eelco
    FIFTEENTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2008, : 197 - 201
  • [4] A Pedagogical Framework for Domain-Specific Languages
    Fowler, Martin
    IEEE SOFTWARE, 2009, 26 (04) : 13 - 14
  • [5] Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications
    Santos, Andre L.
    Koskimies, Kai
    Lopes, Antonia
    SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS, 2008, : 149 - +
  • [6] Generating fluent embedded domain-specific languages with subchaining
    Nakamaru, Tomoki
    Ichikawa, Kazuhiro
    Yamazaki, Tetsuro
    Chiba, Shigeru
    JOURNAL OF COMPUTER LANGUAGES, 2019, 50 : 70 - 83
  • [7] A Constraint Modeling Framework for Domain-Specific Languages
    Pschorn, Patrick
    Antonino, Pablo Oliveira
    Morgenstern, Andreas
    Kuhn, Thomas
    DSM'19: PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON DOMAIN-SPECIFIC MODELING, 2019, : 20 - 29
  • [8] A framework for families of domain-specific modelling languages
    Benjamin Braatz
    Christoph Brandt
    Software & Systems Modeling, 2014, 13 : 109 - 132
  • [9] A framework for qualitative assessment of domain-specific languages
    Gökhan Kahraman
    Semih Bilgen
    Software & Systems Modeling, 2015, 14 : 1505 - 1526
  • [10] A framework for qualitative assessment of domain-specific languages
    Kahraman, Gokhan
    Bilgen, Semih
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (04): : 1505 - 1526
12345