我的天空 - 软件工程——形式化方法概述 的评论
目录前言一、形式化方法定义二、形式化方法分类三、形式化方法意义四、形式化方法作用五、形式化方法优缺点1.优点2.缺点前言形式化方法英文的名称是formalmethods，形式化方法模型的主要活动...