软件工程卷2:系统与语言规约
点击看大图基本信息
- 作者： Dines Bjorner
- 译者： 刘伯超 向剑文
- 丛书名： 世界著名计算机教材精选
- 出版社：清华大学出版社
- ISBN：9787302208914
- 上架时间：2009-12-25
- 出版日期：2010 年1月
- 开本：16开
- 页码：646
- 版次：1-1
- 所属分类：
计算机 > 软件工程及软件方法学 > 软件方法/软件工程
教材 > 计算机教材 > 本科/研究生 > 计算机专业教材 > 计算机专业课程 > 软件工程
内容简介回到顶部↑
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家dines bjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。
这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块(包括uml的类图)、petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。
这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。
《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块(包括uml的类图)、petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。
目录回到顶部↑
原著作者为中文版所作的序
译者序
序言
i开篇
1序言
1.1前言
1.2“轻量级”形式技术
1.3rsl的入门读物
1.4文献评注
ii规约刻面
2层次与复合
2.1关键问题
2.2初步的方法论的结论
2.3主要的例子
2.4讨论
2.5文献评注：stanislaw leshniewski
2.6练习
3指称和计算
3.1前言
3.2指称语义
译者序
序言
i开篇
1序言
1.1前言
1.2“轻量级”形式技术
1.3rsl的入门读物
1.4文献评注
ii规约刻面
2层次与复合
2.1关键问题
2.2初步的方法论的结论
2.3主要的例子
2.4讨论
2.5文献评注：stanislaw leshniewski
2.6练习
3指称和计算
3.1前言
3.2指称语义
加载中...
