Homework Week Four

Homework Week Four

---

1. After-class Reading

• 《为什么软件开发方法论让你觉得糟糕》
• 点击进入文章原地址
  
  book review：
• 我们最终还是得倚重开发者的能力，这才是个更重要的考量因素，而非选择哪门语言或纠结于方法论间的细微差别。
• 掌握技能有两个基本条件：一个环境足够规律以便可预测；有机会通过长时间实践来学习掌握这些规律。但是典型的软件项目往往是没有规律及可预测环境的。
• 实际的软件项目是复杂的，没有规律可循，这会导致另一个问题 – 为了证明某种技术、实践和方法论是实际有效而收集相关数据是极度困难的，几乎不可能在脱离收集环境的情况下归纳出这些数据。
• 细想一下为什么软件开发无章可循？为什么在这个环境里很难进行一些试验以及获取技 能？什么实践和决定会导致成功或失败？其中的根原因就是：环境是不规律的，做出变更与理解变更带来的结果之间的反馈过程太长了。
• 我们的到头来的结果为什么还这么差呢？因为你忘了最重要的事情：建立一个学习能力和适应能力都很好的组织。

---

• 《大象 Thinking in UML》
  
• 面向对象和面向过程是两种不同描述世界的方法。
  例如：把大象装进冰箱所需要的步骤
  面向过程：每个过程都有一个阶段性的目标，依次完成这些过程，就能把大象装进冰箱
  1.打开冰箱门
  2.把大象装进冰箱
  3.关闭冰箱门
  面向对象：为了把大象装进冰箱，需要有三个动作（行为）
  1.让冰箱把门打开
  2.让大象钻进冰箱
  3.让冰箱把门观赏

---

2. 阅读和了解形式化方法

• 百度百科

在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。
形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。

---

Data：2021.4.5