北京航空航天大学学报  2012, Vol. Issue (11): 1445-1449    
  论文 本期目录 | 过刊浏览 | 高级检索 |
基于本体的软件安全性需求建模和验证
李震1, 刘斌1, 苗虹2, 殷永峰1
1. 北京航空航天大学 可靠性与系统工程学院, 北京 100191;
2. 江苏科技大学 经济管理学院, 镇江 212003
Modeling and verification of software safety requirement based on ontology
Li Zhen1, Liu Bin1, Miao Hong2, Yin Yongfeng1
1. School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China;
2. School of Economics and Managment,Jiangsu University of Science and Techndogy, Zhenjiang 212003, China
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn