軟件工程：卷2-系統(tǒng)與語言規(guī)約（影印版）

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