Model-driven validation method for software component development assurance level

被引：0
|
作者：
Zhu, Hequan [1 ]
Xu, Haojun [1 ]
Zhang, Peng [1 ]
Zhang, Dengcheng [1 ]
Sun, Xi [2 ]
机构：
[1] Aeronautics and Astronautics Engineering College, Air Force Engineering University, Xi'an,710038, China
[2] Design and Research Institute, Hanzhong Aircraft Corporation of China Aviation Aircraft, Hanzhong,723213, China
来源：
Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica | 2015年 / 36卷 / 03期
关键词：
D O I：
10.7527/S1000-6893.2014.0251
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：907 / 920
相关论文
共 50 条
  • [41] Model-Driven Development of Aspectual Pervasive Software Services
    Abeywickrama, Dhaminda B.
    Ramakrishnan, Sita
    2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2010), 2010, : 49 - 59
  • [42] Construction of consistent models in model-driven software development
    Taentzer, Gabriele
    MODEL-BASED SOFTWARE AND DATA INTEGRATION, 2008, 8 : 113 - 124
  • [43] Integration of safety analysis in model-driven software development
    de Miguel, M. A.
    Briones, J. F.
    Silva, J. P.
    Alonso, A.
    IET SOFTWARE, 2008, 2 (03) : 260 - 280
  • [44] Comparison of the Two-Hemisphere Model-Driven Approach to Other Methods for Model-Driven Software Development
    Nikiforova, Oksana
    Kozacenko, Ludmila
    Ahilcenoka, Dace
    Gusarovs, Konstantins
    Ungurs, Dainis
    Jukss, Maris
    APPLIED COMPUTER SYSTEMS, 2015, 18 (01) : 5 - 14
  • [45] Model-driven software verification
    Holzmann, GJ
    Joshi, R
    MODEL CHECKING SOFTWARE, 2004, 2989 : 76 - 91
  • [46] Model-driven Continuous Experimentation on Component-based Software Architectures
    Gottschalk, Sebastian
    Yigitbas, Enes
    Engels, Gregor
    2022 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2022), 2022, : 20 - 24
  • [47] Model-driven software adaptation
    Bencomo, Nelly
    Blair, Gordon
    France, Robert
    OBJECT-ORIENTED TECHNOLOGY: ECOOP 2007 WORKSHOP READER, 2008, 4906 : 132 - +
  • [48] Dealing with Usability in Model-Driven Development Method
    Ben Ammar, Lassaad
    Trabelsi, Abdelwaheb
    Mahfoudhi, Adel
    ENTERPRISE INFORMATION SYSTEMS, ICEIS 2013, 2014, 190 : 405 - 420
  • [49] A Method for Model-Driven IoT Application Development
    Nast, Benjamin
    Sandkuhl, Kurt
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2024, 2028 : 141 - 164
  • [50] Model-driven development of high-assurance active medical devices
    Mashkoor, Atif
    SOFTWARE QUALITY JOURNAL, 2016, 24 (03) : 571 - 596
12345