2020-10-15

1.形式化方法(formal method)是一种研究思维模式的方法，多用于计算机软件开发等领域。该方法为软件的开发提供了基础框架，有助于在开发过程中提高工作效率。可分为面向模型、面向属性的形式化方法。
2.《大象-thinking in UML》根据书名可以得知：本书主要介绍与UML系统建模有关的软件工程领域的知识，涉及软件结构分析、功能架构等。全书由浅及深地介绍了面向对象分析的概念、概念在方法中的运用、实际相关项目以及进一步对深层问题的讨论，适合系统分析员钻研。