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 条
  • [21] An MDE-based Process for the Design, Implementation and Validation of Safety-Critical Systems
    Delange, Julien
    Pautet, Laurent
    Hugues, Jerome
    de Niz, Dionisio
    2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 319 - 324
  • [22] An MDE-based methodology for closed-world integrity constraint checking in the semantic web
    Hussain, Ambreen
    Wu, Wenyan
    Tang, Zhaozhao
    JOURNAL OF WEB SEMANTICS, 2022, 74
  • [23] A MDE based approach for bridging formal models
    Zhang, Tian
    Jouault, Frederic
    Bezivin, Jean
    Zhao, Jianhua
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 113 - +
  • [24] Formal Verification for Embedded Systems Design Based on MDE
    Moreira do Nascimento, Francisco Assis
    da Silva Oliveira, Marcio Ferreira
    Wagner, Flavio Rech
    ANALYSIS, ARCHITECTURES AND MODELLING OF EMBEDDED SYSTEMS, 2009, 310 : 159 - +
  • [25] X-MAN: An MDE Tool for Component-based System Development
    Lau, Kung-Kiu
    Tran, Cuong M.
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 158 - 165
  • [26] On Exploiting Energy-Aware Scheduling Algorithms for MDE-based Design Space Exploration of MP2SoC
    Ammar, Manel
    Baklouti, Mouna
    Pelcat, Maxime
    Desnos, Karol
    Abid, Mohamed
    2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), 2016, : 643 - 650
  • [27] An educational development tool based on principles of formal ontology
    Guzzi, R
    Scarpanti, S
    Ballista, G
    Di Nicolantonio, W
    EDUCATIONAL TECHNOLOGY & SOCIETY, 2005, 8 (01): : 80 - 89
  • [28] Formal executable semantics for conformance in the MDE framework
    Egea, Marina
    Rusu, Vlad
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 73 - 81
  • [29] MDE-based Rapid DSE of multi-core embedded systems: The H.264 Decoder Case Study
    Ammar, Manel
    Baklouti, Mouna
    Pelcat, Maxime
    Desnos, Karol
    Abid, Mohamed
    INFORMACIJE MIDEM-JOURNAL OF MICROELECTRONICS ELECTRONIC COMPONENTS AND MATERIALS, 2016, 46 (04): : 219 - 228
  • [30] Formal Semantics Based Translator Generation and Tool Development in Practice
    Fritzson, Peter
    Pop, Adrian
    Broman, David
    Aronsson, Peter
    ASWEC 2009: 20TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 256 - +
12345