回顾:结构化软件开发 UN 4 o“结构化( structured)”的合理性 管理复杂性的有效手段 分解,抽象,层次 Correctness 规约与实现 Extendibility? Reusability? Institute of Computer Software 2021/1/28 Nanjing University回顾：结构化软件开发  “结构化（structured）”的合理性  管理复杂性的有效手段 ◼ 分解, 抽象, 层次  Correctness  规约与实现  Extendibility? Reusability? 2021/1/28 Institute of Computer Software Nanjing University 4