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
