软件工程卷2：系统与语言规约（世界著名计算机教材精选）
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,软件工程/开发项目管理,
作者： （德）比约尼尔著，刘伯超等译
出 版 社： 清华大学出版社
出版时间： 2010-1-1字数： 1053000版次： 1页数： 642印刷时间： 2010-1-1开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787302208914包装： 平装内容简介
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines BjOrner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。
这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。
这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而日在工业和计算机产、世界也具有极大的实用价值。
目录
原著作者为中文版所作的序
译者译
序言
I开篇
1序言
II规约刻面
2层次与复合
3指称和计算
4格局：上下文和状态
III关键领域和系统刻面
5时间、空间和空间/时间
IV语言学
6语用
7语义
8句法
9符号体系
V其他规约技术
10模块化
11自动机和机器
VI并发和时态
12佩特里网
13消息和活序列图
14状态图
15时间的定量模型
VII解释器和编译器定义
16SAL：简单应用式语言
17SIL：简单命令式语言
18SMIL：简单模块命令式语言
19SPIL：简单并行命令式语言
VIII结束语
20结束语
IX附录