形式化方法是一种以数学为基础的软件开发与验证方法，它的核心目标是消除自然语言描述中的歧义，通过精确的逻辑与模型来保证软件系统的正确性与可靠性。通过本次学习，我认识到：形式化方法是软件工程中保证系统正确性的重要手段，其数学基础与严谨性，对高可靠系统开发至关重要。UML 建模不是简单的符号堆砌，而是面向对象思维的可视化表达，核心是抽象与建模能力。后续我会继续阅读《大象 ——Thinking in UM