国家自然科学基金(61262025,61502413,61379032,61262024);云南省自然科学基金(2012FB118,2012FB119);云南省教育厅科学研究基金(2015Z020);云南省软件工程重点实验室开放基金(2015SE202,2012SE308);云南大学"中青年骨干教师培养计划"专项经费;云南大学高水平创新团队"软件工程创新团队"专项经费
张璇,李彤,王旭,于倩,郁湧,朱锐.可信软件非功能需求形式化表示与可满足分析.软件学报,2015,26(10):2545-2566
复制