阅读和了解什么是形式化方法
形式化方法是基于形式化数学变化的,适合于软件和硬件系统的描述、开发和验证。根据资料显示,软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究,研究内容是形式规约、形式验证。形式化方法可分为两类:一是面向模型的形式化方法,二是面向属性的形式化方法。
软件工程作业五
最新推荐文章于 2024-05-27 11:11:50 发布
阅读和了解什么是形式化方法
形式化方法是基于形式化数学变化的,适合于软件和硬件系统的描述、开发和验证。根据资料显示,软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究,研究内容是形式规约、形式验证。形式化方法可分为两类:一是面向模型的形式化方法,二是面向属性的形式化方法。