形式化方法；大象阅读；

1.了解和阅读什么是形式化方法

        软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

根据表达能力，形式化方法可以分为五类：

（1）基于模型的方法：通过明确定义状态和操作来建立一个系统模型（使系统从一个状态转换到另一个状态）

（2）基于逻辑的方法：用逻辑描述系统预期的性能，包括底层规约、时序和可能性行为。

（3）代数方法：通过将未定义状态下不同的操作行为相联系，给出操作的显式定义。

（4）过程代数方法：通过限制所有容许的可观察的过程间通信来表示系统行为。

（5）基于网络的方法：由于图形化表示法易于理解，而且非专业人员能够使用，因此是一种通用的系统确定表示法。

2.推荐阅读书籍《大象—thinking in UML》

      《大象:Thinking in UML》以UML为载体，将面向对象的分析设计思想巧妙地融入建模过程中，通过贯穿全书的实例将软件系统开发过程中方方面面的知识有机地结合在一起，用生动的语言和精彩的事例将复杂枯燥的软件过程讲解得津津有味。全书分为准备篇、基础篇、进阶篇和总结篇四个部分。准备篇讲述面向对象分析的一些基本概念，及学习建模需要了解的一些基本知识。