大学计算机教育国外著名教材系列：软件工程系统与语言规约（卷2）（影印版）

　　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

　　    《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然后讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块（包括UML的类图）、Petri网、活动序列图、状态图和时态逻辑（包括时段演算）。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。