CORC

浏览/检索结果: 共8条,第1-8条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
Answering who/when, what, how, why through constructing data graph, information graph, knowledge graph and wisdom graph 会议论文
29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017, 2017-07-05
作者:  Shao, Lixu[1];  Duan, Yucong[2];  Sun, Xiaobing[3];  Gao, Honghao[4];  Zhu, Donghai[5]
收藏  |  浏览/下载:8/0  |  提交时间:2019/04/24
Automated Safety Analysis on Scenario-Based Requirements for Train Control System 会议论文
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2017-01-01
作者:  Wang, Xi[1];  Miao, Huaikou[2];  Miao, Weikai[3]
收藏  |  浏览/下载:7/0  |  提交时间:2019/04/24
Automatic Support for Formal Specification Construction Using Pattern Knowledge 会议论文
17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, 2016-05-30
作者:  Wang, Xi[1];  Miao, Weikai[2]
收藏  |  浏览/下载:4/0  |  提交时间:2019/04/26
An Evolutionary Method for the Formal Specification Construction of Service-Based Software 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 卷号: 26, 页码: 587-610
作者:  Miao, Weikai[1];  Wang, Xi[2]
收藏  |  浏览/下载:3/0  |  提交时间:2019/04/26
Automatic Support for Formal Specification Construction Using Pattern Knowledge 会议论文
17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2016-01-01
作者:  Wang, Xi[1];  Miao, Weikai[2]
收藏  |  浏览/下载:4/0  |  提交时间:2019/04/26
Supporting Requirements Analysis using Pattern-Based Formal Specification Construction 会议论文
--, 2015-01-03
作者:  Shaoying Liu[1];  Xi Wang[2];  Weikai Miao[3]
收藏  |  浏览/下载:3/0  |  提交时间:2019/04/26
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge 会议论文
International Symposium on Theoretical Aspects of Software Engineering, 2015-01-01
作者:  Miao, Weikai[1];  Wang, Xi[2];  Liu, Shaoying[3]
收藏  |  浏览/下载:6/0  |  提交时间:2019/04/26
Agent Based ServiceBSP model with Superstep Service for grid computing 会议论文
SIXTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2007-08-16
作者:  Miao, Weikai[1];  Tong, Weiqin[2]
收藏  |  浏览/下载:3/0  |  提交时间:2019/05/10


©版权所有 ©2017 CSpace - Powered by CSpace