世界著名计算机教材精选·软件工程卷2：系统与语言规约（馆藏书）

图书标准信息

• 作者 比约尼尔（Dines Bjorner）、刘伯超、向剑文 著
• 出版社 清华大学出版社
• 出版时间 2010-01
• 版次 1
• ISBN 9787302208914
• 定价 79.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 646页
• 字数 1053千字
• 正文语种 简体中文

【内容简介】

　　《软件工程卷2：系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。
　　这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
　　《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块(包括UML的类图)、Petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。

【目录】

原著作者为中文版所作的序
译者序
序言
概述
“UML”化的形式技术
RAISE规约语言：RSL
致谢
第2卷的简要指南
I开篇
1序言
1.1前言
1.1.1为什么有本卷
1.1.2为什么要掌握这些原理、技术与工具
1.1.3本卷“包含”了什么
1.1.4本卷是如何“陈述”的
1.2“轻量级”形式技术
1.3RSL的入门读物
1.3.1类型
1.3.2RSL谓词演算
1.3.3具体RSL类型
1.3.4入演算＋函数
1.3.5其他应用表达式
1.3.6命令式结构
1.3.7进程结构
1.3.8简单RSL规约
1.4文献评注

Ⅱ规约刻面
2层次与复合
2.1关键问题
2.1.1非形式说明
2.1.2形式说明
2.2初步的方法论的结论
2.2.1一些定义
2.2.2原则与技术
2.3主要的例子
2.3.1层次的叙述表示
2.3.2层次的形式表示
2.3.3复合的，叙述性表示
2.3.4复合的形式表示
2.4讨论
2.5文献评注：StanistawLeshniewski
2.6练习

3指称和计算
3.1前言
3.1.1计算和指称
3.1.2句法和语义
3.1.3特性描述
3.2指称语义
3.2.1一个简单的例子：数符
3.2.2指称原则
3.2.3表达式指称
3.2.4GOTO连续
3.2.5指称语义的讨论
3.3计算语义
3.3.1关键问题
3.3.2两个例子
3.3.3表达式计算
3.3.4GOTO程序的计算语义
3.3.5协同例程程序的计算语义
3.3.6讨论
3.4回顾：指称和计算
3.5一些语义的创始人
3.5.1JohnMcCarthy
3.5.2PeterLandin
3.6练习

4格局：上下文和状态
4.1引言
4.2问题
4.3“现实世界”上下文和状态
4.3.1物理系统：上下文和状态
4.3.2上下文和状态
4.3.3非物理系统：上下文和状态
4.3.4讨论I
4.3.5讨论Ⅱ
4.4第一次总结：上下文和状态
4.4.1概述
4.4.2开发原则和技术
4.5程序设计语言格局
4.6并发进程格局
4.6.1示例
4.6.2总结
4.7第二次总结：上下文和状态
4.8信息状态和行为状态
4.8.1作为状态机数据的程序流程图
4.8.2流程图三机器
4.8.3流程图机
4.8.4评论
4.8.5结论
4.9最后的总结：上下文和状态
4.10练习

Ⅲ关键领域和系统刻面
5时间、空间和空间／时间
5.1时间
5.1.1时间——基础
5.1.2时间——一般问题
5.1.3时间的“A序列”和“B序列”模型
5.1.4时间的连续统理论
5.1.5时态事件
5.1.6时态行为
5.1.7时间表示
5.1.8时间“上”的操作
5.2空间
5.2.1空间——基础
5.2.2位置变化实体
5.2.3位置和动态性
5.2.4空间——一般问题
5.3空间／时问
5.3.1指导示例
5.3.2空问／时问的表示
5.3.3Blizard的时间空间理论
5.4讨论
5.5文献评注
5.6练习

Ⅳ语言学
6语用
6.1前言
6.2日常语用
6.3“形式”语用
6.4讨论
6.4.1概述
6.4.2原则和技术
6.5文献评注
6.6练习

7语义
7.1前言
7.2具体语义
7.3“抽象”语义
7.4预备语义概念
7.4.1句法和语义类型
7.4.2上下文
7.4.3状态
7.4.4格局
7.4.5解释、求值、细化
7.5指称语义
7.5.1简单情况
7.5.2复合情况
……
7.6宏扩展语义
7.7操作和计算语义
7.8证明规则语义
7.9讨论
7.10文献评注
7.11练习

8句法
8.1问题
8.2句子和语义结构
8.3第一个抽象句法，JohnMcCarthy
8.4BNF语法＝具体句法
8.5结构生成器和识别器
8.6XML：可扩展标{己语言(ExtensibleMarkupLanguage)
8.7抽象句法
8.8转换RSL类型到BNF
8.9非形式和形式句法讨论
8.10文献评注
8.11练习

9符号体系
9.1符号体系=句法+语义+语用
9.2符号体系
9.3语言构件
9.4语言学
9.5语言和系统
9.6讨论
9.7CharlesSandersPeirce
9.8文献评注
9.9练习

V其他规约技术
10模块化
10.1前言
10.2RSL类、对象和模式
10.3UML和RSL
10.4讨论
10.5文献评注
10.6练习

11自动机和机器
11.1离散状态自动机
11.2离散状态机器
11.3有限状态自动机
11.4有限状态机器
11.5下推栈设备
11.6文献评注：自动机和机器
11.7练习

Ⅵ并发和时态
12佩特里网
12.1问题
12.2条件事件网(ConditionEventNet，CEN)
12.3位置变迁网(PlaceTransitionNet，PTN)
12.4染色佩特里网(ColouredPetriNet，CPN)
12.5CEN示例：工作流系统
12.6CPN和RSL示例：超标量处理器
19.7讨论
12.8文献评注
12.9练习

13消息和活序列图
13.1消息序列图
13.2活序列图：非形式阐述
13.3进程代数
13.4活序列图的代数语义
13.5关联消息图到ESL
13.6通信事务进程(CommunicatingTransactionProcesses，CTP)
13.7讨论
13.8文献评注
13.9练习

14状态图
14.1前言
14.2状态图的描述
14.3状态图句法的RSL模型
14.4例
14.5状态图的进程代数
14.6状态图语义
14.7关联状态图到RSL
14.8讨论
14.9文献评注
14.10练习

15时间的定量模型
15.1问题
15.2时态逻辑
15.3时段演算
15.4TRSL：具有时间的RSL
15.5具有时间和时段的RSL
15.6讨论
15.7文献评注
15.8练习

Ⅶ解释器和编译器定义
16SAL：简单应用式语言
16.1提示
16.2SAL句法
16.3指称语义
16.4一阶应用式语义
16.5抽象命令式栈语义
16.6宏扩展语义
16.7ASM：一个汇编语言
16.8一个编译算法
16.9一个属性语法语义
16.10另一个属性语法语义
16.11讨论
16.12回顾和文献评注
16.13练习

17SIL：简单命令式语言
17.1背景
17.2句法类型
17.3命令式指称语义
17.4宏扩展语义
17.5讨论
17.6文献评注
17.7练习

18SMIL：简单模块命令式语言
18.1句法类型
18.2指称语义
18.3宏扩展语义
18.4讨论
18.5文献评注
18.6练习

19SPIL：简单并行命令式语言
19.1问题
19.2句法
19.3进程概念和语义类型
19.4面向进程的语义类型
19.5初始和辅助语义函数
19.6语义函数
19.7讨论
19.8文献评注
19.9练习

Ⅷ结束语
20结束语
20.1总结
20.2结论：卷1和2
20.3卷3的预览
20.4“UML”化形式技术
Ⅸ附录
命名规则
参考文献