模型驱动的软件构件研制保证水平验证方法
朱和铨, 徐浩军, 张鹏, 张登成, 孙曦
Model-driven validation method for software component development assurance level
ZHU Hequan, XU Haojun, ZHANG Peng, ZHANG Dengcheng, SUN Xi
航空学报 . 2015, (3): 907 -920 .  DOI: 10.7527/S1000-6893.2014.0251