&扇 NAN 回顾：结构化软件开发 1002 UNIVE 4 “结构化(structured)”的合理性 ▣管理复杂性的有效手段 ■分解，抽象，层次 Correctness 口规约与实现 Extendibility?Reusability? Institute of Computer Software 2022-2-27 Nanjing University回顾：结构化软件开发  “结构化（structured）”的合理性  管理复杂性的有效手段  分解, 抽象, 层次  Correctness  规约与实现  Extendibility? Reusability? 2022-2-27 Institute of Computer Software Nanjing University 4