国家自然科学基金(90818026); 国家重点基础研究发展计划(973)(2009CB320701, 2011CB302704)
JIN Zhi
Key Laboratory of High Confidence Software Technologies of Ministry of Education (Peking University), Beijing 100871, China;Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Academy of Mathematics and Systems Science, The Chinese Academy of Sciences, Beijing 100190, China刘春,张伟,赵海燕,金芝.一种“用例+控例”驱动的软件分析与设计方法.软件学报,2013,24(4):675-695
复制