软件工程卷2：系统与语言规约
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,软件工程/开发项目管理,
作者： （丹）比约纳 著
出 版 社： 清华大学出版社
出版时间：字数：版次： 1页数： 777印刷时间： 2007/07/01开本：印次：纸张： 胶版纸I S B N ： 9787302154327包装： 平装内容简介
《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然后讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块（包括UML的类图）、Petri网、活动序列图、状态图和时态逻辑（包括时段演算）。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。
目录
PREFACE
PartⅠ OPENING
1 Introduction
PartⅡ SPECIFICATION FACETS
2 Hierarchies and Compositions
3 Denotations and Computations
4 Configurations:Contexts and States
Part Ⅲ A CRUCIAL DOMAIN AND COMPUTING FACET
5 Time,Space and Space/Time
Part Ⅳ LINGUISTICS
6 Pragmatics
7 Semantics
8 Syntax
9 Semiotics
Part Ⅴ FURTHER SPECIFICATION TECHNIQUES
10 Modularisation
11 Automata and Machines
Part Ⅵ CONCURRENCY AND TEMPORALITY
12 Petri Nets
13 Message and Sequence Charts
14 Statecharts
15 Quantitative Models of Time
Part Ⅶ INTERPRETER AND COMPILER DEFINITIONS
16 SAL:Simple Applicative Language
17 SIL:Simple Imperative Language
18 SMIL:Simple Modular,Imperative Language
19 SPIL:Simple Paallel,Imperative Language
Part Ⅷ CLOSING
20 Closing
Part Ⅸ APPENDIXES
A Naming Convention
B Indexes
References
