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