《軟體工程卷2：系統與語言規約》介紹了描述系統與語言的規約的基本原理和技術。首先，然後講授一些高級的原理和技術：分層與組合、指稱與計算以及構型：環境與狀態的抽象與建模，然後講授符號學建模的基本原理和技術：語用、語義以及系統和語言的句法。其中重要的一部分介紹了對空間和簡單時態現象進行建模的基本原理和技術。
基本介紹
- 書名：軟體工程卷：系統與語言規約
- 作者：(丹)比約納
- ISBN：9787302154327
- 定價：79元
- 出版社：清華大學出版社
- 出版時間： 2007
- 開本：16
版權資訊,內容簡介,目錄,
版權資訊
書 名: 軟體工程卷：系統與語言規約
作 者：(丹)比約納
出版時間： 2007
ISBN: 9787302154327
開本： 16
定價: 79.00 元
內容簡介
本卷的主要章節用於介紹一些專門的主題，比如模組(包括UML的類圖)、Petri網、活動序列圖、狀態圖和時態邏輯(包括時段演算)。最後，本卷介紹了開發函式式，命令式以及並行程式設計語言的可靠和有效的解釋器和編譯器的基本原理和技術。本卷適合於作為高年級本科生和研究生，以及研究程式設計方法學的學者的教材或參考書。
目錄
PREFACE
PartⅠ OPENING
1 Introduction
PartⅡ SPECIFICATION FACETS
2 Hierarchies
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
