课程的主要研究问题.docVIP

课程的主要研究问题 程序设计的基本特征 结构化 模块化 对象化 （OOP，Object Oriented Programming） 智能化 （AOP， Agent Oriented Programming） 程序设计标准化问题 形式语义 代数规范 程序正确性的代数证明 程序的形式推导 程序变换技术 程序设计标准实施问题 设计风格 设计方法 设计工具 设计技巧 研究内容 程序设计方法学的基本研究目标是通过对程序本质属性的研究来提高程序的效率，保证程序的正确性 。 通俗地说，程序设计方法学的最基本目标是通过对程序本质属性的研究，说明什么是“优秀”的程序，怎样才能设计出“优秀”的程序。 程序设计方法学是讲述程序性质以及程序设计理论和方法的一门学科。 程序设计方法学 PAGE PAGE 1 基本内容 结构化程序设计方法 模块化程序设计方法 面向对象程序设计方法 函数型程序设计方法 逻辑程序设计方法 程序设计方法发展趋势 程序正确性证明技术 程序形式推导技术 程序变换技术 程序调试技术 抽象数据类型 代数规范理论 类型系统理论 复杂性分析技术 基本方法 基本理论 “优秀”和“不优秀”程序的要素 正确性；结构化；模块化；可重用 可维护；可变化；可管理；可测试 性能均衡 错误的