最 低 价：￥61.30
| 原著作者为中文版所作的序 译者序 前言 丛书成因 丛书的不足 着手方法 软件新观 “轻量级”形式技术 “超级程序设计师 何为软件工程 作者的愿望 这几卷在软件工程教育课程中的作用 为什么这么多材料 课程中如何使用这套丛书 本书的简要介绍 本卷的简要介绍 致谢 开篇 绪论 1.1 准备 1.2 软件工程三部曲 1.2.1 软件和系统开发 1.2.2 三部曲引出 1.2.3 领域工程 1.2.4 需求工程 1.2.5 软件设计 1.2.6 讨论 1.3 文档 1.3.1 文档种类 1.3.2 时期、阶段和步骤文档 1.3.3 信息文档 1.3.4 描述文档 1.3.5 分析文档 1.4 形式技术和形式工具 1.4.1 关于形式技术和语言 1.4.2 软件工程教材中的形式技术 1.4.3 一些程序设计语言 1.4.4 一些形式规约语言 1.4.5 目前形式语言的不足 1.4.6 其他的形式工具 1.4.7 为什么要形式技术和形式工具 1.5 方法和方法学 1.5.1 方法 1.5.2 方法学 1.5.3 讨论 1.5.4 元方法学 1.6 软件基础 1.6.1 教学法和范式 1.6.2 语用、语义和句法 1.6.3 规约和程序设计范式 1.6.4 描述、规定和规约 1.6.5 元语言 1.6.6 总结 1.7 目标和效果 1.7.1 目标 1.7.2 效果 1.7.3 讨论 1.8 文献评注 1.9 练习 离散数学 数 2.1 引言 2.2 数符和数 2.3 数的子集 2.3.1 自然数：Nat 2.3.2 整数：Int 2.3.3 实数：Real 2.3.4 无理数 2.3.5 代数数 2.3.6 超越数 2.3.7 复数和虚数 2.4 类型定义：数 2.5 总结 2.6 文献评注 2.7 练习 集合 3.1 背景 3.2 数学的集合 3.3 特殊集合 3.3.1 外延公理 3.3.2 划分 3.3.3 幂集 3.4 分类和类型定义：集合 3.4.1 集合抽象 3.4.2 集合类型表达式和类型定义 3.4.3 分类 3.5 RSL中的集合 3.6 文献评注 3.7 练习 笛卡尔 4.1 要点 4.2 笛卡尔值表达式 4.3 笛卡尔类型 4.4 笛卡尔的目 4.5 笛卡尔的相等 4.6 一些构造的例子 4.7 分类和类型定义：笛卡尔 4.7.1 笛卡尔抽象 4.7.2 笛卡尔类型表达式和类型定义 4.8 RSI.中的笛卡尔 4.9 文献评注 4.10 练习 类型 5.1 值和类型 5.2 现象和概念类型 5.2.1 现象和概念 5.2.2 实体：原子和复合 5.2.3 属性和值 5.3 程序设计语言类型概念 5.4 分类或抽象类型 5.5 内建和具体类型 5.6 类型检查 5.6.1.类型确定的变量和表达式 5.6.2 类型错误 5.6.3 类型错误检测 5.7 类型作为集合，类型作为格 5.8 总结 5.9 练习 函数 6.1 概述 6.2 要点 6.2.1 背景 6.2.2 一些函数概念 6.3 数是如何产生的 6.4 关于求值概念的题外话 6.4.1 求值，解释和细化 6.4.2 两个求值的例子 6.4.3 函数调用 6.5 数代数 6.5.1 代数 6.5.2 数类型 6.5.3 高阶函数类型 6.5.4 非确定性函数 6.5.5 常量函数 6.5.6 严格函数 6.5.7 严格函数和严格函数调用 6.5.8 数上的操作 …… 简单RSL 规约类型 规约程序设计 其他 附录 参考文献 |
内容加载中，请稍后...
商品评论（0条）