求精演算方法相关硕士博士期刊学术论文 - 搜论网

求精演算方法相关论文

一种将遗传算法应用于谓词求精的方法

提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中......

期刊

软件工程软件求精软件开发软件自动化谓词求精遗传算法程序综合求精演算方法规则库 software automation refinement

看过本文同时还关注