| 作 者： | 比约纳 |
| 出版社： | 清华大学出版社 |
| 丛编项： | 软件工程 |
| 版权说明： | 本书为出版图书，暂不支持在线阅读，请支持正版图书 |
| 标 签： | 软件工程 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
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
