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

　　《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines BjOrner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而日在工业和计算机产、世界也具有极大的实用价值。

暂缺《世界著名计算机教材精选：软件工程卷2·系统与语言规约》作者简介

原著作者为中文版所作的序
译者译
序言
I　开篇
　1　序言
II　规约刻面
　2　层次与复合
　3　指称和计算
　4　格局：上下文和状态
III　关键领域和系统刻面
　5　时间、空间和空间/时间
IV　语言学
　6　语用
　7　语义
　8　句法
　9　符号体系
V　其他规约技术　
　10　模块化
　11　自动机和机器
VI　并发和时态
　12　佩特里网
　13　消息和活序列图
　14　状态图
　15　时间的定量模型　
VII　解释器和编译器定义
　16　SAL：简单应用式语言
　17　SIL：简单命令式语言
　18　SMIL：简单模块命令式语言
　19　SPIL：简单并行命令式语言
VIII　结束语
　20　结束语
IX　附录