Formal MDE-based tool development

被引：0
|
作者：
Silva, Robson [1 ]
Mota, Alexandre [1 ]
Starr, Rodrigo Rizzi [2 ]
机构：
[1] Informatics Center, Federal University of Pernambuco, Recife,PE, Brazil
[2] Embraer S.A, São José dos Campos,SP, Brazil
来源：
Advances in Intelligent Systems and Computing | 2014年 / 263卷
关键词：
Graphical user interfaces;
D O I：
10.1007/978-3-319-04717-1_5
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：105 / 125
相关论文
共 50 条
  • [41] Secure MDE for Ethereum-based Decentralized Applications (DApps) Development
    Samreen, Noama Fatima
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 679 - 684
  • [42] The formal, tool supported development of real time systems
    Sinnott, RO
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 388 - 395
  • [43] Formal development of a reconfigurable tool for parallel DNA matching
    Abdallah, AE
    Simiakakis, G
    Theoharis, T
    ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 268 - 272
  • [44] A MDE approach for power distribution service development
    Marin, C
    Lalanda, P
    Donsez, D
    SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS, 2005, 3826 : 552 - 557
  • [45] FLEDGLING COMPANY INTRODUCES TOOL BASED ON FORMAL TECHNIQUES
    不详
    COMPUTER DESIGN, 1994, 33 (07): : A11 - &
  • [46] SOFTWARE TESTING BASED ON FORMAL SPECIFICATIONS - A THEORY AND A TOOL
    BERNOT, G
    GAUDEL, MC
    MARRE, B
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 387 - 405
  • [47] Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach
    Kang, Eun-Young
    Perrouin, Gilles
    Schobbens, Pierre-Yves
    2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 124 - 127
  • [48] Dealing with Abstract Interaction Modeling in an MDE Development Process: A Pattern-Based Approach
    Valverde, Francisco
    Panach, Ignacio
    Aquino, Nathalie
    Pastor, Oscar
    NEW TRENDS ON HUMAN-COMPUTER INTERACTION: RESEARCH, DEVELOPMENT, NEW TOOLS AND METHODS, 2009, : 119 - 128
  • [49] FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis
    Parri, Jacopo
    Sampietro, Samuele
    Vicario, Enrico
    2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), 2021, : 25 - 32
  • [50] SOFTWARE-DEVELOPMENT BASED ON FORMAL METHODS
    JONES, CB
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 275 : 153 - 172
12345