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
鄂公网安备 42010302001612号 