软件工程作业

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

形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。 不同的形式化方法的数学基础是不同的，有的以集合论和一阶谓词演算为基础（如Z和 VDM），有的则以时态逻辑为基础。 形式化方法需要形式化规约说明语言的支持。 形式化方法的一个重要研究内容是形式规约 (Formal Specification,也称形式规范或形式化描述),它是对程序“做什么” (what to do)的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。简而言之就是用精确的话来描述程序的功能，精确的语言对程序建模。

2、推荐阅读书籍《大象---thinking in UML》

先简要概述这本书的内容，本书主要是讲一种如何以对象的思考方式将复杂化的业务用其的建模方法的方法形象的表达出来。整本书也是围绕UML 的语言概念展开，如定义其元素：用例，业务，包，关系，组件，节点。又通过其语法如：视图和模型来完成一个业务的分析。最后通过一个例子来强化UML的语法。

作者在文章最后一篇还帮我们扩展关于设计的思考。包括理解用例本质、理解建模的抽象层次、学会设计模式等都是为了让我们更扎实的思考底层设计思维和方法论这样才能更好运用UML 。