程序设计方法学

出版时间：1970-1  出版社：国防工业出版社  作者：胡正国，吴健，邓正宏  页数：266  
Tag标签：无  

内容概要

　　程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。

书籍目录

第1章 程序设计方法学简介1.1 程序设计方法学的产生1.2 结构程序设计及其讨论的一些主要问题习题第2章 结构化程序2.1 什么是结构化程序2.2 结构化定理2.3 一些新的控制结构习题第3章 模块化程序设计3.1 MODULA-2语言中的模块化结构3.2 ADA语言中的程序包习题第4章 面向对象的程序设计方法4.1 什么是面向对象的程序设计4.2 应用框架4.3 设计模式4.4 浅谈面向对象设计语言习题第5章 程序正确性证明5.1 概述5.2 不变式断言法5.3 子目标断言法5.4 公理化方法5.5 良序集方法5.6 计数器方法习题第6章 结构化程序的正确性证明6.1 正确性定理6.2 证明程序正确性的代数方法6.3 产生循环不变式的一种方法习题第7章 递归程序及其正确性证明7.1 迭代与递归7.2 递归程序的一种模型7.3 递归程序的正确性证明习题第8章 程序的形式推导技术8.1 谓词变换器及其性质8.2 面向目标的程序推导8.3 循环不变式的推导技术习题第9章 程序变换技术9.1 程序变换的基本思想和基本规则9.2 程序生成阶段9.3 程序改进阶段(Ⅰ)9.4 程序改进阶段(Ⅱ)9.5 程序改进阶段(Ⅲ)9.6 程序变换研究中的若干问题习题第10章 大型程序设计方法学基础10.1 抽象数据类型的代数规范10.2 抽象数据类型的形式化基础10.3 形式规范的应用参考文献

编辑推荐

《程序设计方法学(第2版)》可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。

用户评论 (总计3条)

•   书中错误太多，而且很多是很低级的错误，这还是第二版！让人读得很郁闷！希望作者和编辑多一些职业道德
•   不错，是新版的（第2版）
•   书的内容还可以。计算机本科生应该学一下相似内容，提高基本功。