软件工程方法学及应用 (2008 年度畅销榜NO.48383 )

软件工程方法学是研究软件设计方法论及工程开发技术的一门新兴学科。本书系统地介绍软件工程与方法学的基本概念、基础理论，并注重讨论软件工程方法学新进展和新技术以及应用开发模型。\r\n 全书共分三个部分。第一部分《软件方法学》，主要计论软件设计的基本方法结构化和模块化，介绍程序设计正确性证明、程序形式推导及变换技术。第二部分《软件工程学》，介绍软件工程学的四个时期（分析、设计、实现、维护）的基本方法和工具以及软件工程管理的基本概念。第在部分《应用开发模型》，介绍两种代表性的应用开发模型：面向对象模型和典型数据库应用模型。\r\n 本书是结合作者十多年数据库、软件工程方法学方面的教学和研究成果编写而成。本书构思新颖，结构清晰，逻辑性、系统性强；在选材上，注重基础理论和基本概念，又强调应用技术与实用方法。 \r\n 本书适合于软件开发人员阅读，也可用做高等院校高年级学生和研究生教材或教学参考书。阅读本书时，不同层次的读者可以做不同的选择。

第一章 绪论\r\n\r\n1.1 软件工程与方法学的形成\r\n1.1.1 软件危机\r\n1.1.2 软件工程与方法学的形成\r\n1.1.3 软件工程学与程序设计方法学\r\n1.1.4 软件工程方法学\r\n1.2 软件与软件生命周期\r\n1.2.1 软件与程序\r\n1.2.2 软件生命周期\r\n1.2.3 四个活动时期\r\n1.3 软件开发过程模型\r\n1.3.1 瀑布模型\r\n1.3.2 原型模型\r\n1.3.3 喷泉模型\r\n1.3.4 螺旋模型\r\n1.4 软件开发方法\r\n1.4.1 结构化方法\r\n1.4.2 面向对象方法\r\n1.4.3 其它开发方法\r\n1.5 小结\r\n\r\n第一部分 软件方法学\r\n\r\n第二章 结构化与模块化\r\n\r\n2.1 结构化程序\r\n2.1.1 关于GOTO\r\n2.1.2 控制结构与程序流程图\r\n2.1.3 正规程序\r\n2.1.4 基本程序\r\n2.1.5 结构化程序\r\n2.2 结构化定理\r\n2.2.1 程序函数\r\n2.2.2 结构化定理\r\n2.2.3 非结构化程序到列结构化程序转换\r\n2.3 逐步求精方法\r\n2.3.1 什么是逐步求精方法\r\n2.3.2 逐步求精技术\r\n2.4 模块化技术\r\n2.4.1 模块与模块化\r\n2.4.2 模块的特征与独立性\r\n2.4.3 模块的藕合\r\n2.4.4 模块的内聚\r\n2.5 模块设计准则\r\n2.5.1 一般原则\r\n2.5.2 模块的作用域与控制域\r\n2.6 小结\r\n\r\n第三章 程序正确性证明\r\n\r\n3.1 基本概念\r\n3.1.1 程序测试与正确性证明\r\n3.1.2 程序正确性定义\r\n3.2 HOARE公理化方法\r\n3.2.1 HOARE表示法\r\n3.2.2 HOARE基本法则\r\n3.2.3 简单语句证明法则\r\n3.2.4 循环语句证明法则\r\n3.3 FLOYD方法\r\n3.3.1 不变式断言法\r\n3.3.2 良序集法\r\n3.4 递归程序正确性证明\r\n3.4.1 递归的概念\r\n3.4.2 递归计算规则\r\n3.4.3 结构归纳法\r\n3.4.4 良序归纳法\r\n3.5 小结\r\n\r\n第四章 形式推导与变换\r\n\r\n4.1 程序的形式化推导技术\r\n4.1.1 谓词变换器及其性质\r\n4.1.2 程序的形式语义\r\n4.1.3 面向目标的推导\r\n4.1.4 不变式推导\r\n4.2 程序的变换技术\r\n4.2.1 程序变换的基本思想\r\n4.2.2 程序变换的基本规则\r\n4.2.3 程序的生成方法\r\n4.2.4 递归消去法\r\n4.3 小结\r\n\r\n第二部分 软件工程学\r\n\r\n第五章 软件分析\r\n\r\n5.1 主要阶段和任务\r\n5.1.1 问题定义\r\n5.1.2 可行性研究\r\n5.1.3 软件计划与进度安排\r\n5.1.4 需求分析\r\n5.2 结构化分析方法\r\n5.2.1 数据流分析\r\n5.2.2 数据流图\r\n5.2.3 数据字典\r\n5.2.4 逻辑表达工具\r\n5.3 软件成本估算\r\n5.3.1 成本估算方法\r\n5.3.2 软件生产率\r\n5.3.3 代码行成本估算方法\r\n5.3.4 每项任务工作量的成本估算方法\r\n5.4 进度计划\r\n5.4.1 各阶段工作量分配\r\n5.4.2 开发进度表\r\n5.5 小结\r\n5.5.1 基本概念与方法\r\n5.5.2 分析时期主要文档\r\n\r\n第六章 软件设计\r\n\r\n6.1 概要设计与详细设计\r\n6.1.1 概要设计\r\n6.1.2 详细设计的任务\r\n6.2 概要设计的图表工具\r\n6.2.1 IPO图\r\n6.2.2 结构图\r\n6.3 结构化设计\r\n6.3.1 面向数据流的设计\r\n6.3.2 变换流与事务流\r\n6.3.3 设计步骤\r\n6.3.4 变换设计\r\n6.3.5 事务设计\r\n6.4 详细设计工具\r\n6.4.1 程序流程图\r\n6.4.2 盒图\r\n6.4.3 PAD图\r\n6.4.4 过程语言PDL\r\n6.4.5 几种工具的比较\r\n6.5 JACKSON方法\r\n6.5.1 JACKSON图\r\n6.5.2 面向数据结构的设计\r\n6.5.3 设计实例\r\n6.6 小结\r\n6.6.1 基本概念与方法\r\n6.6.2 主要文档\r\n\r\n第七章 软件编码与测试\r\n\r\n7.1 软件编码\r\n7.1.1 程序设计语言\r\n7.1.2 编程语言的选择\r\n7.1.3 编程风格\r\n7.1.4 编程途径\r\n7.2 测试的基本概念\r\n7.2.1 什么是软件测试\r\n7.2.2 黑盒测试与白盒测试\r\n7.2.3 测试的基本原则\r\n7.3 测试过程\r\n7.3.1 测试过程及信息流\r\n7.3.2 软件测试步骤\r\n7.3.3 单元测试方法\r\n7.3.4 集成没测试方法\r\n7.3.5 验收测试\r\n7.4 测试方案设计\r\n7.4.1 逻辑覆盖\r\n7.4.2 等价类划分\r\n7.4.3 边界值分析\r\n7.5 调试技术\r\n7.5.1 静态查找\r\n7.5.2 消去法\r\n7.5.3 回溯法\r\n7.6 小结\r\n\r\n第八章 软件运行与维护\r\n\r\n8.1 软件交付出使用\r\n8.1.1 软件交付使用的工作\r\n8.1.2 软件交付使用的方式\r\n8.2 软件维护基本概念\r\n8.2.1 软件开发与维护\r\n8.2.2 软件维护的类型\r\n8.2.3 软件的可维护性\r\n8.3 软件维护的特点\r\n8.3.1 软件工程与软件维护的关系\r\n8.3.2 软件维护的代价\r\n8.3.3 软件维护工作量模型\r\n8.3.4 软件维护的典型问题\r\n8.3.5 软件维护的副作用\r\n8.4 维护过程与方法\r\n8.4.1 维护组织\r\n8.4.2 维护报告\r\n8.4.3 维护模型\r\n8.4.4 保存维护记录\r\n8.4.5 维护的评价\r\n\r\n第九章 软件评价与管理\r\n\r\n9.1 软件质量\r\n9.1.1 软件质量标准\r\n9.1.2 软件质量保证\r\n9.2 软件质量度量模型\r\n9.2.1 Boehm模型\r\n9.2.2 McCall模型\r\n9.2.3 ISO建议模型\r\n9.2.4 软件质量因素\r\n9.3 软件质量评价方法\r\n9.3.1 McCabe软件复杂性度量\r\n9.3.2 Halstad软件复杂性度量方法\r\n9.3.3 软件可靠性度量方法\r\n9.4 软件工程管理\r\n9.4.1 组织机构与人员管理\r\n9.4.2 软件工程控制\r\n9.4.3 文档资料管理\r\n9.5 软件产权\r\n9.5.1 软件知识产权的法律保护\r\n9.5.2 软件著作权保护\r\n\r\n第三部分 应用开发模型\r\n\r\n第十章 面向对象开发模型\r\n\r\n10.1 基本概念与特征\r\n10.1.1 对象与消息\r\n10.1.2 类与继承性\r\n10.1.3 协议与封装\r\n10.1.4 多态性与动态联编\r\n10.2 面向对象软件开发模型\r\n10.2.1 多层次多组成模型\r\n10.2.2 OOA的五个层次\r\n10.2.3 OOD扩充的四个组成部分\r\n10.3 面向对象分析\r\n10.3.1 Cord与Yourdon面向对象分析\r\n10.3.2 标识类/对象\r\n10.3.3 标识结构\r\n10.3.4 标识主题\r\n10.3.5 定义属性\r\n10.3.6 定义服务\r\n10.3.7 OOA的CASE工具\r\n10.4 面向对象设计与实现\r\n10.4.1 转向面向对象的设计\r\n10.4.2 OOD准则及步骤\r\n10.4.3 OOD 与实现语言\r\n10.4.4 面向对象程序设计\r\n10.5 小结\r\n\r\n第十一章 典型数据库应用模型\r\n\r\n11.1 前言\r\n11.1.1 典型数据库应用的特征\r\n11.1.2 典型数据库应用开发现状及存在的问题\r\n11.1.3 典型数据库应用模型\r\n11.1.4 范例模型及应用\r\n11.2 典型问题模式\r\n11.2.1 数据库组织与结构\r\n11.2.2 用户界面\r\n11.2.3 查询模式\r\n11.2.4 输入输出模式\r\n11.2.5 数据库管理\r\n11.2.6 系统维护与辅助功能\r\n11.2.7 大批量数据录入工程\r\n11.3 应用开发\r\n11.3.1 基本步骤\r\n11.3.2 数据库设计\r\n11.3.3 软件结构设计\r\n11.3.4 模块设计\r\n11.3.5 应用实践\r\n\r\n参考文献

无封面