| 一种开放环境下软件在线演化一致性验证方法 |
| |
| 引用本文： | 周宇,黄延凯,黄志球,吴维刚.一种开放环境下软件在线演化一致性验证方法[J].软件学报,2015,26(4):747-759. |
| |
| 作者姓名： | 周宇 黄延凯 黄志球 吴维刚 |
| |
| 作者单位： | 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210093,南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016,南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016,中山大学 信息科学与技术学院, 广东 广州 510006 |
| |
| 基金项目： | 国家自然科学基金(61202002, 61272083, 61379157); 江苏省软件新技术与产业化协同创新中心计划 |
| |
| 摘 要： |
|
| 关 键 词： | 在线演化 时间自动机 一致性 模型检验 |
| 收稿时间： | 2014/6/29 0:00:00 |
| 修稿时间： | 2014/10/14 0:00:00 |
Towards an Approach of Consistency Verification for Online Software Evolution in Open Environments |
| |
| ZHOU Yu,HUANG Yan-Kai,HUANG Zhi-Qiu and WU Wei-Gang.Towards an Approach of Consistency Verification for Online Software Evolution in Open Environments[J].Journal of Software,2015,26(4):747-759. |
| |
| Authors: | ZHOU Yu HUANG Yan-Kai HUANG Zhi-Qiu and WU Wei-Gang |
| |
| Affiliation: | College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China,College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China,College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China and College of Information Science and Technology, Sun Yat-Sen University, Guangzhou 510006, China |
| |
| Abstract: | |
| |
| Keywords: | online evolution timed automata consistency model checking |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
