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 条
  • [1] Assurance Cases in Model-Driven Development of the Pacemaker Software
    Lee, Eunkyoung
    Lee, Insup
    Sokolsky, Oleg
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 343 - 356
  • [2] A Process Model for Component-Based Model-Driven Software Development
    Alrubaee, Afrah Umran
    Cetinkaya, Deniz
    Liebchen, Gernot
    Dogan, Huseyin
    INFORMATION, 2020, 11 (06)
  • [3] Model-driven engineering for development-time QoS validation of component-based software systems
    Hill, James H.
    Tambe, Sumant
    Gokhale, Aniruddha
    ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 307 - +
  • [4] Applying Component-Based Technologies to Model-Driven Software Development
    Mizuno, Tomoki
    Matsumoto, Keinosuke
    Mori, Naoki
    ELECTRONICS AND COMMUNICATIONS IN JAPAN, 2015, 98 (08) : 24 - 31
  • [5] Model-driven software development - Introduction
    Sabbah, Daniel
    IBM SYSTEMS JOURNAL, 2006, 45 (03)
  • [6] Model-driven system-level validation and verification on the space software domain
    Aarón Montalvo
    Pablo Parra
    Óscar Rodríguez Polo
    Alberto Carrasco
    Antonio Da Silva
    Agustín Martínez
    Sebastián Sánchez
    Software and Systems Modeling, 2022, 21 (6): : 2367 - 2394
  • [7] Model-driven system-level validation and verification on the space software domain
    Montalvo, Aaron
    Parra, Pablo
    Rodriguez Polo, Oscar
    Carrasco, Alberto
    Da Silva, Antonio
    Martinez, Agustin
    Sanchez, Sebastian
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2367 - 2394
  • [8] Software safety for model-driven development
    Raytheon, 2611 Jefferson Davis HWY STE 700, Arlington,VA 22202, United States
    不详
    不详
    CrossTalk, 2009, 4-5 (9-14):
  • [9] Model-driven software development - Preface
    Seidman, David I.
    Ritsko, John J.
    IBM SYSTEMS JOURNAL, 2006, 45 (03) : 449 - 450
  • [10] FEATURE MODEL-DRIVEN SOFTWARE DEVELOPMENT
    Zakal, David
    Lengyel, Laszlo
    PROCEEDINGS OF 11TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE, 2010, 2010, : 239 - 242
12345