A domain specific language and methodology for control systems GUI specification, verification and prototyping

被引：3
|
作者：
Risoldi, Matteo [1 ]
Buchs, Didier [1 ]
机构：
[1] Univ Geneva, CUI Battelle Bat A, CH-1227 Carouge, Switzerland
来源：
VL/HCC 2007: IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/VLHCC.2007.21
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A work-in-progress domain-specific language and methodology for modeling. complex control systems GUIs is presented. MDA techniques are applied for language design and verification, simulation and prototyping.
引用
收藏
页码：179 / +
页数：2
相关论文
共 50 条
  • [1] Prototyping a Domain-Specific Language for Monitor and Control Systems
    Bennett, Matthew
    Borgen, Richard
    Havelund, Klaus
    Ingham, Michel
    Wagner, David
    JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2010, 7 (11): : 338 - 364
  • [2] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS
    DEMAN, J
    DUPONCHEEL, L
    VANPUYMBROECK, W
    DOMINGUEZ, RP
    ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
  • [3] Specification, design, prototyping and verification of software systems
    De Man, J.
    Duponcheel, L.
    Van Puymbroeck, W.
    Perez Dominguez, R.
    Electrical communication, 1988, 62 (3-4): : 259 - 264
  • [4] Prototyping, Domain Specific Language, and Testing
    Yu, Liguo
    ENGINEERING LETTERS, 2008, 16 (01)
  • [5] Integrated methodology for the specification, verification and testing of systems
    Holcombe, Mike
    Software Testing Verification and Reliability, 1993, 3 (3-4) : 149 - 163
  • [6] LfP:: A specification language for rapid prototyping of concurrent systems
    Regep, D
    Kordon, F
    12TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 90 - 96
  • [7] Propagation engine prototyping with a domain specific language
    Prud'homme, Charles
    Lorca, Xavier
    Douence, Remi
    Jussien, Narendra
    CONSTRAINTS, 2014, 19 (01) : 57 - 76
  • [8] Propagation engine prototyping with a domain specific language
    Charles Prud’homme
    Xavier Lorca
    Rémi Douence
    Narendra Jussien
    Constraints, 2014, 19 : 57 - 76
  • [9] The rapid prototyping methodology and its support language - Visual system specification and design language
    Tan, WA
    Xuhong
    Zhou, BS
    OBJECT-ORIENTED TECHNOLOGY, 1998, : 82 - 87
  • [10] A Domain Specific Language for the ARINC 653 Specification
    Darif, Ikram
    Politowski, Cristiano
    El Boussaidi, Ghizlane
    Kpodjedo, Segla
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 238 - 245
12345