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