争辩 否定GOTO ■肯定GOTO 取消GOTO后,程序 在块和进程的非正常 易理解、易排错、易 出口处往往需要 维护 ■使用GOTO会使程序 没有其它好的结构代 执行效率较高 替GOTO的话,容易 在合成程序目标时, 滥用GOTO GOTO语句往往是有 无GOTO的程序容易 用的,如返回语句用 进行正确性证明 GOTO
争辩 ◼ 否定GOTO ◼ 取消GOTO后，程序 易理解、易排错、易 维护 ◼ 没有其它好的结构代 替GOTO的话，容易 滥用GOTO ◼ 无GOTO的程序容易 进行正确性证明 ◼ 肯定GOTO ◼ 在块和进程的非正常 出口处往往需要 ◼ 使用GOTO会使程序 执行效率较高 ◼ 在合成程序目标时， GOTO语句往往是有 用的，如返回语句用 GOTO
结论 1974年 Knuth发表了总结性文章:“带有GOTO的结构化 程序设计” 令人信服地总结和证实了以下三点: 滥用GOT0语句确实有害,应尽量避免 完全避免使用GOT0语句也并非是个明智的方法,有 些地方使用GOTO语句,会使程序流程更清楚、效率 更高 n争论的焦点不应该放在是否取消GOTO语句,而应该 放在用什么样的程序结构上 最后一点使关键,肯定以提高程序清晰性为目标的结 构化方法
结论 ◼ 1974年Knuth发表了总结性文章：“带有GOTO的结构化 程序设计” ◼ 令人信服地总结和证实了以下三点： ◼ 滥用GOTO语句确实有害，应尽量避免 ◼ 完全避免使用GOTO语句也并非是个明智的方法，有 些地方使用GOTO语句，会使程序流程更清楚、效率 更高 ◼ 争论的焦点不应该放在是否取消GOTO语句，而应该 放在用什么样的程序结构上 ◼ 最后一点使关键，肯定以提高程序清晰性为目标的结 构化方法
“方法”的核心是模型 所谓的“方法”通常围绕一系列的模型展开,给出这些模 型的建立,校验和转换方法 巴 REAL COMPUTER 仿自: Cantwell Smith“ Computers, Models and the embedding world
“方法”的核心是模型 所谓的“方法”通常围绕一系列的模型展开，给出这些模 型的建立，校验和转换方法。 COMPUTER MODEL REAL REAL 仿自：Cantwell Smith “Computers,Models and the Embedding World
方法与模型 实阿 计算机 设计模型 分析模型 设计 分析 编码
方法与模型 计算机 设 计 模 型 REAL 实际 分 析 模 型 分析 编码 设计
分析模型和设计模型 分析模型:对当前所处的环境,或者现 实情况建立的模型,用于分析和评估。 ■设计模型:对未来要建造的系统或者环 境建立的模型,用于系统实施,也用于 交流和评价 ■建立模型有助于精确有效地表达和沟通
分析模型和设计模型 ◼ 分析模型：对当前所处的环境，或者现 实情况建立的模型，用于分析和评估。 ◼ 设计模型：对未来要建造的系统或者环 境建立的模型，用于系统实施，也用于 交流和评价。 ◼ 建立模型有助于精确有效地表达和沟通