Formal model-driven engineering of distributed simulation systems based on architecture-centric domain-specific approach

被引：0
|
作者：
Wu, Di [1 ]
Chen, Jie [2 ]
Oquendo, Flavio [3 ]
机构：
[1] Sch Informat Sci & Technol, Beijing, Peoples R China
[2] Beijing Inst Technol, Beijing, Peoples R China
[3] Valoria Univ Bretagne Sud, Comp Sci Lab, Lorient, France
来源：
14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：568 / 568
页数：1
相关论文
共 50 条
  • [21] A Domain-Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps
    Breckel, Alexander
    Pietron, Jakob
    Juhnke, Katharina
    Tichy, Matthias
    [J]. 2020 46TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2020), 2020, : 162 - 170
  • [22] Model-Driven Aspect-Specific Systems Engineering in the Automotive Domain
    Maschotta, Ralph
    Hammer, Maximilian
    Jungebloud, Tino
    Khan, Mehreen
    Zimmermann, Armin
    [J]. IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
  • [23] Alliance of model-driven engineering with a proof-based formal approach
    Akram Idani
    Yves Ledru
    German Vega
    [J]. Innovations in Systems and Software Engineering, 2020, 16 : 289 - 307
  • [24] Alliance of model-driven engineering with a proof-based formal approach
    Idani, Akram
    Ledru, Yves
    Vega, German
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2020, 16 (3-4) : 289 - 307
  • [25] An architecture-centric approach to the development of a distributed model-checker for timed automata
    Schapachnik, F
    Braberman, V
    Olivero, A
    [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 710 - 710
  • [26] Formal model-driven engineering of critical information systems
    Davies, Jim
    Milward, David
    Wang, Chen-Wei
    Welch, James
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 103 : 88 - 113
  • [27] A Domain-Specific Language for Model-Driven Development of Networked Electronic Travel Aid Systems
    von Zabiensky, Florian
    Loosen, Christian
    Kreutzer, Michael
    Bienhaus, Diethelm
    [J]. HCI INTERNATIONAL 2021 - LATE BREAKING POSTERS, HCII 2021, PT II, 2021, 1499 : 56 - 63
  • [28] A model-driven approach to enable the simulation of complex systems on distributed architectures
    Bocciarelli, Paolo
    D'Ambrogio, Andrea
    Falcone, Alberto
    Garro, Alfredo
    Giglio, Andrea
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2019, 95 (12): : 1185 - 1211
  • [29] Developing a domain-specific language for learning management systems, and a corresponding implementation tool ("KiwiDSM") through model-driven engineering
    Montenegro Marin, Carlos Enrique
    Cueva Lovelle, Juan Manuel
    Sanjuan Martinez, Oscar
    Gaona Garcia, Paulo Alonso
    [J]. INGENIERIA, 2010, 15 (02): : 67 - 81
  • [30] Model-Driven Functional Test Engineering for Service Centric Systems
    Feudjio, A. -G. Vouffo
    [J]. 2009 5TH INTERNATIONAL CONFERENCE ON TESTBEDS AND RESEARCH INFRASTRUCTURES FOR THE DEVELOPMENT OF NETWORKS & COMMUNITIES, 2009, : 234 - 240
12345