软件工程作业五

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