軟件工程卷2：系統與語言規約（簡體書）

《軟件工程卷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