孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

零缺陷程序设计

零缺陷程序设计
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: 机械工业出版社
2003-11
版次: 1
ISBN: 9787111129417
定价: 25.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 203页
分类: 计算机与互联网
14人买过
  • 本书描述了编写无（或几乎无）bug代码的最新方法。这些方法同时还提高了生产力，缩短了开发时间。本书主要要三个领域内加以描述，分别是：规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证，写出结构完好的程序。
      
      本书适于高等院校学生和软件开发人员阅读。 Allan M.Stavely，二十几年来，一直任教于新墨西哥科技大学计算机科学系。他曾作为访问学者访问过IBM加州圣何塞研究中心、惠普英国布里斯托尔研究所，以及IBM英国温彻斯特研究中心。他的教学与研究领域主要包括软件工程、形式化方法和对编程的总体改进方法。 出版者的话

    专家指导委员会

    译者序

    前言

    第一章 概述

     1.1 问题

     1.2 净室方法

     1.3 关于本书

     备注

    第二章 运算函数

     2.1 运算

     2.2 函数表示法并行处理

     2.3 条件并行处理

     2.4 局部变量

     2.5 基于预期函数的规定

     2.6 其他标记法简介

     2.7 预期函数的编写

     练习

     备注

    第三章 验证

     3.1 结构化控制语句

     3.2 预期函数的定位

     3.3 替换原则

     3.4 代码序列

     3.5 跟踪表

     3.6 语句

     3.7 条件分支跟踪表

     练习

     备注

    第四章 迭代的验证

     4.1 语句

     4.2 循环中止的验证

     4.3 已初始化循环

     4.4 为独立的循环编写预期函数

     4.5 其他形式的不定迭式

     练习

     备注

    第五章 基于预期函数的程序设计

     5.1 Pascal程序：最长一行的长度

     5.2 C程序：统计字符及数字的出现次数 

     5.3 Icon程序：字符串解压缩

     5.4 抽象化的探讨：登记注册系统

     5.5 让事情简单 

     练习

     备注

    第6章 验证过程的回顾

     6.1 为什么验证必须回顾 

     6.2 净定过程中的验证回顾

     6.3 验证回顾是如何完成的

     6.4 示例：注册登记系统的另一个例程

     6.5 示例：测试数据生成器例程

     6.6 示例讨论 

     练习

     备注

    第7章 定迭代

     7.1 序列上的定迭代

     7.2 序列变量

     7.3 其他序列表达式

     7.4 整型值的范围

     7.5 其他数据结构

     7.6 迭代机制

     7.7 程序设计中的集合与序列

     练习

     备注

    第8章 数据抽象与面向对象编程

     8.1 数据抽象与封装

     8.2 抽象函数

     8.3 数据不变性

     8.4 面向对象编程

     练习

     备注

    第9章 递归与函数语言

     9.1 递归例程

     9.2 终止

     9.3 相互递归

     9.4 函数化语言

     练习

     备注

    第10章 测试

     10.1 测试的角色

     10.2 基于使用的测试

     10.3 测试数据生成器

     10.4 测试的其他方式

     练习

     备注

    第11章 增量开发

     11.1 用增量的方式开发程序

     11.2 计划与实现的过程 

     11.3 示例：排演计划

     练习

     备注

    第12章 我们将走向何方 

     12.1 净室过程的其他部分

     12.2 其他的形式方法

     12.3 我们学会了什么

     12.4 展望未来

     备注

    部分习题的提示

    参考文献
  • 内容简介:
    本书描述了编写无（或几乎无）bug代码的最新方法。这些方法同时还提高了生产力，缩短了开发时间。本书主要要三个领域内加以描述，分别是：规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证，写出结构完好的程序。
      
      本书适于高等院校学生和软件开发人员阅读。
  • 作者简介:
    Allan M.Stavely，二十几年来，一直任教于新墨西哥科技大学计算机科学系。他曾作为访问学者访问过IBM加州圣何塞研究中心、惠普英国布里斯托尔研究所，以及IBM英国温彻斯特研究中心。他的教学与研究领域主要包括软件工程、形式化方法和对编程的总体改进方法。
  • 目录:
    出版者的话

    专家指导委员会

    译者序

    前言

    第一章 概述

     1.1 问题

     1.2 净室方法

     1.3 关于本书

     备注

    第二章 运算函数

     2.1 运算

     2.2 函数表示法并行处理

     2.3 条件并行处理

     2.4 局部变量

     2.5 基于预期函数的规定

     2.6 其他标记法简介

     2.7 预期函数的编写

     练习

     备注

    第三章 验证

     3.1 结构化控制语句

     3.2 预期函数的定位

     3.3 替换原则

     3.4 代码序列

     3.5 跟踪表

     3.6 语句

     3.7 条件分支跟踪表

     练习

     备注

    第四章 迭代的验证

     4.1 语句

     4.2 循环中止的验证

     4.3 已初始化循环

     4.4 为独立的循环编写预期函数

     4.5 其他形式的不定迭式

     练习

     备注

    第五章 基于预期函数的程序设计

     5.1 Pascal程序：最长一行的长度

     5.2 C程序：统计字符及数字的出现次数 

     5.3 Icon程序：字符串解压缩

     5.4 抽象化的探讨：登记注册系统

     5.5 让事情简单 

     练习

     备注

    第6章 验证过程的回顾

     6.1 为什么验证必须回顾 

     6.2 净定过程中的验证回顾

     6.3 验证回顾是如何完成的

     6.4 示例：注册登记系统的另一个例程

     6.5 示例：测试数据生成器例程

     6.6 示例讨论 

     练习

     备注

    第7章 定迭代

     7.1 序列上的定迭代

     7.2 序列变量

     7.3 其他序列表达式

     7.4 整型值的范围

     7.5 其他数据结构

     7.6 迭代机制

     7.7 程序设计中的集合与序列

     练习

     备注

    第8章 数据抽象与面向对象编程

     8.1 数据抽象与封装

     8.2 抽象函数

     8.3 数据不变性

     8.4 面向对象编程

     练习

     备注

    第9章 递归与函数语言

     9.1 递归例程

     9.2 终止

     9.3 相互递归

     9.4 函数化语言

     练习

     备注

    第10章 测试

     10.1 测试的角色

     10.2 基于使用的测试

     10.3 测试数据生成器

     10.4 测试的其他方式

     练习

     备注

    第11章 增量开发

     11.1 用增量的方式开发程序

     11.2 计划与实现的过程 

     11.3 示例：排演计划

     练习

     备注

    第12章 我们将走向何方 

     12.1 净室过程的其他部分

     12.2 其他的形式方法

     12.3 我们学会了什么

     12.4 展望未来

     备注

    部分习题的提示

    参考文献
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
相关图书 / 更多
零缺陷程序设计
零缺陷实战
徐文锋 著；陈阳
￥13.00 起
零缺陷程序设计
零缺陷大道
杨钢 著
￥4.00 起
零缺陷程序设计
零缺陷智慧：企业打造质量竞争力的艺术
杨钢 著
￥14.97 起
零缺陷程序设计
零缺点:《西游记》是写给每个员工的寓言
林间樵夫 著
￥5.00 起
零缺陷程序设计
零缺陷复制:连锁运营及盈利模式
单国旗、杨书良 著；杨思卓 主编
￥0.45 起
零缺陷程序设计
零缺无陷：中国零缺陷管理首席专家杨钢省思录
杨钢 著
￥1.40 起
零缺陷程序设计
零缺陷管理操作手册
杨靖、李晓红 编著
￥40.00 起
零缺陷程序设计
零缺点的质量管理
克劳斯比
￥7.00 起
零缺陷程序设计
零缺点美肤圣经:全方位对抗问题肌肤 扫除岁月痕迹
洪勖峰 著
￥0.01 起
零缺陷程序设计
零缺陷工作
汪中求、朱新月 著
￥1.00 起
零缺陷程序设计
零缺点执行力-拒绝空谈、增强企业行动力（好书精读·大字版）
轻松读大师项目部
￥23.10 起
零缺陷程序设计
零缺陷工程管理
王新哲 著
￥6.00 起
您可能感兴趣 / 更多
零缺陷程序设计
量子力学讲义（平装本）
斯蒂夫·温伯格
￥68.37 起
零缺陷程序设计
揭秘太空：冥王星寻亲记
斯蒂夫·韦德 著；陆毅 译；梅拉妮·德默 绘
￥6.00 起
零缺陷程序设计
我如何成为一名畅销书作家
斯蒂夫·赫利 著；王秀莉 译
￥5.00 起
零缺陷程序设计
巨齿鲨
斯蒂夫·奥顿 著；鲍硕超 童霏 李熙 译
￥28.00 起
零缺陷程序设计
老麦有辆小卡车，咿呀咿呀哦
斯蒂夫·戈茨 译者 圣孙鹏
￥2.00 起
零缺陷程序设计
前行 斯蒂夫·汉克斯
斯蒂夫·汉克斯 编
￥22.99 起
零缺陷程序设计
真实城市：现代性、空间与城市生活的魅像
斯蒂夫·派尔
￥5.00 起
零缺陷程序设计
导读葛兰西
斯蒂夫·琼斯 著；相明 译
￥39.00 起
零缺陷程序设计
深海中的危险鱼类：鲨鱼
斯蒂夫·帕克 编；赵丽梅 翻 译；约翰·巴特乐 绘图
￥1.00 起
零缺陷程序设计
语言家
斯蒂夫·考夫曼
￥10.00 起
零缺陷程序设计
数据库设计
斯蒂夫
￥2.00 起
零缺陷程序设计
网页设计效果优化艺术：别让我动脑筋
斯蒂夫.克鲁格
￥13.87 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全