形式化方法
形式化方法是一种基于形式化数学变换的软件开发方法,它可将系统的规格说明转换为可执行的程序。
该过程的具体描述如图所示。
软件工程--什么是形式化方法
最新推荐文章于 2022-04-24 12:08:41 发布
形式化方法
形式化方法是一种基于形式化数学变换的软件开发方法,它可将系统的规格说明转换为可执行的程序。
该过程的具体描述如图所示。