軟件工程：卷2-系統(tǒng)與語言規(guī)約（影印版）
定 價：￥79.00
| 作 者： |
（丹）比約納 |
| 出版社： |
清華大學出版社 |
| 叢編項： |
軟件工程 |
| 標 簽： |
軟件工程 |
| ISBN： |
9787302154327 |
出版時間： |
2007-07-01 |
包裝： |
平裝 |
| 開本： |
0開 |
頁數(shù)： |
777 |
字數(shù)： |
|
內(nèi)容簡介
《軟件工程卷2：系統(tǒng)與語言規(guī)約》介紹了描述系統(tǒng)與語言的規(guī)約的基本原理和技術(shù)。首先，然后講授一些高級的原理和技術(shù)：分層與組合、指稱與計算以及構(gòu)型：環(huán)境與狀態(tài)的抽象與建模，然后講授符號學建模的基本原理和技術(shù)：語用、語義以及系統(tǒng)和語言的句法。其中重要的一部分介紹了對空間和簡單時態(tài)現(xiàn)象進行建模的基本原理和技術(shù)。本卷的主要章節(jié)用于介紹一些專門的主題，比如模塊（包括UML的類圖）、Petri網(wǎng)、活動序列圖、狀態(tài)圖和時態(tài)邏輯（包括時段演算）。最后，本卷介紹了開發(fā)函數(shù)式，命令式以及并行程序設(shè)計語言的可靠和有效的解釋器和編譯器的基本原理和技術(shù)。本卷適合于作為高年級本科生和研究生，以及研究程序設(shè)計方法學的學者的教材或參考書。
作者簡介
暫缺《軟件工程：卷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
鄂公網(wǎng)安備 42010302001612號 