形式化方法是一套基于数学、逻辑严格语法语义的软件开发规范，用精确无二义的符号语言描述系统需求、架构、行为：
分类：形式化规格说明、形式化验证、形式化代码生成
优势：消除自然语言歧义、可自动化验证缺陷、适合高可靠系统（航空、金融、芯片）
缺点：学习成本高、开发效率低，普通业务项目很少全流程使用
《大象 ——Thinking in UML》阅读总结
核心：讲解 UML 统一建模语言，面向业务分析师、Java 后端开发者，教如何用图梳理需求
核心图：用例图、类图、时序图、活动图、状态图
价值：教会从业务需求抽离领域模型，是 Java 项目前期设计必备书籍，结合面向对象、面向接口开发思想。
