返回首页

许畅

阅读量:914 xiayu 收藏本文

许畅

 

他提出的高效的增量式检测技术与可靠性理论、高效的软件记录技术与非确定验证方法、以及自动分析软件能耗与性能缺陷的诊断技术,在基础研究上有创新,关键技术上有突破,系统工具能实用。为建立以网构软件为代表的新型方法学,提供了基础支撑,推动了新型软件方法学研究,在国内外产生重要影响。

<<< 上一篇   山世光
<<< 下一篇 无