形式化方法

导读:本文包含了形式化数学论文开题报告文献综述及选题提纲参考文献，主要关键词:形式化方法,程序规约,组合数学,递推技术形式化数学论文文献综述熊小超,杨庆红[1]（2019）在《...

导读:本文包含了算法推导论文开题报告文献综述及选题提纲参考文献，主要关键词:形式化方法,程序规约,组合数学,递推技术算法推导论文文献综述熊小超,杨庆红[1]（2019）在《2类...

导读:本文包含了形式化系统论文开题报告文献综述及选题提纲参考文献，主要关键词:形式化方法,智能系统,组合抽象模型,模型检测形式化系统论文文献综述周益龙,韩斌[1]（2019）在...

导读:本文包含了编译器验证论文开题报告文献综述及选题提纲参考文献，主要关键词:堆栈机器,编译器,定理证明器,形式化方法编译器验证论文文献综述陈飞扬,徐文涛,孙绍山,朱浩,钱振江...

导读:本文包含了需求工程方法论文开题报告文献综述及选题提纲参考文献，主要关键词:软件需求建模,需求确认,形式化工程方法,形式化方法需求工程方法论文文献综述黄怿豪,冯劲草,郑寒月...