CORC

在结果中检索

CORC

浏览/检索结果: 共42条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09
软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏  |  浏览/下载：26/0  |  提交时间：2014/05/29
Analyzing and predicting software integration bugs using network analysis on requirements dependency network 期刊论文
Requirements Engineering, 2014
Wang, Junjie (1); Wang, Qing (1)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
A Modified Algorithm for Missing Values in Data Stream Decision Tree Classification 会议论文
International Conference on Artificial Intelligence and Software Engineering (AISE), Phuket, THAILAND, JAN 11-12, 2014
Hou, Xu-shan; Lv, Pin; Wang, Hao
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
Search based risk mitigation planning in project portfolio management 会议论文
2013 International Conference on Software and Systems Process, ICSSP 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Xiao, Junchao (1); Osterweil, Leon J. (2); Chen, Jie (1); Wang, Qing (1); Li, Mingshu (1)
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
Model repair for Markov decision processes 会议论文
2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013
Chen, Taolue (1); Hahn, Ernst Moritz (1); Han, Tingting (1); Kwiatkowska, Marta (1); Qu, Hongyang (2); Zhang, Lijun (3)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
Can requirements dependency network be used as early indicator of software integration bugs? 会议论文
2013 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro, Brazil, July 15, 2013 - July 19, 2013
Wang, Junjie (1); Li, Juan (1); Wang, Qing (1); Yang, Da (1); Zhang, He (4); Li, Mingshu (1)
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
A study on software effort prediction using machine learning techniques 会议论文
6th International Conference Evaluation of Novel Approaches to Software Engineering, ENASE 2011, Beijing, China, June 8, 2011 - June 11, 2011
Zhang, Wen (1); Yang, Ye (1); Wang, Qing (1)
收藏  |  浏览/下载：7/0  |  提交时间：2014/12/16
a simulation approach for impact analysis of requirement volatility considering dependency change 会议论文
18th Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2012, Essen, Germany, March 19, 2012 - March 22, 2012
Wang Junjie; Li Juan; Wang Qing; Zhang He; Wang Haitao
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
compositional reasoning for markov decision processes 会议论文
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Deng Yuxin; Hennessy Matthew
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22

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