中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 46)

Items/Page:    Sort:
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
decomposition of automata pdl and its extension [会议论文]
2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012, Kowloon, Hong kong, March 14, 2012 - March 16, 2012
Liu Xinxin; Xue Bingtian

 
inferring method specifications from natural language api descriptions [会议论文]
34th International Conference on Software Engineering, ICSE 2012, Zurich, Switzerland, June 2, 2012 - June 9, 2012
Pandita Rahul; Xiao Xusheng; Zhong Hao; Xie Tao; Oney Stephen; Paradkar Amit

 
a business process-driven approach for requirements dependency analysis [会议论文]
10th International Conference on Business Process Management, BPM 2012, Tallinn, Estonia, September 3, 2012 - September 6, 2012
Li Juan; Jeffery Ross; Fung Kam Hay; Zhu Liming; Wang Qing; Zhang He; Xu Xiwei

 
specification in pdl with recursion [会议论文]
4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United states, April 3, 2012 - April 5, 2012
Liu Xinxin; Xue Bingtian

 
a hybrid system approach to the analysis and design of power grid dynamic performance [期刊论文]
Proceedings of the IEEE, 2012-01-01, 卷号: 100, 期号: 1, 页码: 225-239
Susuki Yoshihiko; Koo T. John; Ebina Hiroaki; Yamazaki Takuya; Ochi Takashi; Uemura Takuji; Hikihara Takashi

 
software effort estimation model based on use case specification [会议论文]
6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, Beijing, China, June 8, 2011 - June 11, 2011
Chen Xinguang; Shu Fengdi; Yang Ye

 
formal derivation of two algorithms involving sequences [会议论文]
2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20
Shi Haihe; Xue Jinyun

 
可信计算技术研究 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 8, 页码: 1332-1349
冯登国; 秦宇; 汪丹; 初晓博
  |  
 
on hierarchically developing reactive systems [期刊论文]
INFORMATION AND COMPUTATION, 2010-01-01, 卷号: 208, 期号: 9, 页码: 997-1019
Zhan Naijun; Majster-Cederbaum Mila
  |  
 

1 2 3 4 5 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace