作业3

1、阅读和了解什么是形式化方法
软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。
形式化方法所使用的是严格的数学语言,其语法和语义都是无二义的、精确的。

形式化方法的研究主要是在形式规约(FormalSpecification)和形式验证(FormalVerification)两个方面。

形式规约( Formal specification )是软件开发工作的依据。软件工程技术主要是解决如何从 形式规约 出发,最终得到所希望的计算机上的可执行代码

形式验证是对现有的程序系统进行验证，检查其是否符合规约的要求。传统的验证方式是通过实验对系统进行查错,包括模拟(simulation)和测试(testing)。形式验证方法分为等价性验证、模型检验和定理证明等。

2、推荐阅读书籍《大象-thinkinginUML》
明白为什么需要UML,面向对象和面向过程怎么区分，
现实世界->业务模型>概念模型，这三个流程之间的关系如何。