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

定　價(jià)：￥79.00

作　者：	（丹）比約納
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	軟件工程
標(biāo)　簽：	軟件工程

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787302154327	出版時(shí)間：	2007-07-01	包裝：	平裝
開(kāi)本：	0開(kāi)	頁(yè)數(shù)：	777	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《軟件工程卷2：系統(tǒng)與語(yǔ)言規(guī)約》介紹了描述系統(tǒng)與語(yǔ)言的規(guī)約的基本原理和技術(shù)。首先，然后講授一些高級(jí)的原理和技術(shù)：分層與組合、指稱(chēng)與計(jì)算以及構(gòu)型：環(huán)境與狀態(tài)的抽象與建模，然后講授符號(hào)學(xué)建模的基本原理和技術(shù)：語(yǔ)用、語(yǔ)義以及系統(tǒng)和語(yǔ)言的句法。其中重要的一部分介紹了對(duì)空間和簡(jiǎn)單時(shí)態(tài)現(xiàn)象進(jìn)行建模的基本原理和技術(shù)。本卷的主要章節(jié)用于介紹一些專(zhuān)門(mén)的主題，比如模塊（包括UML的類(lèi)圖）、Petri網(wǎng)、活動(dòng)序列圖、狀態(tài)圖和時(shí)態(tài)邏輯（包括時(shí)段演算）。最后，本卷介紹了開(kāi)發(fā)函數(shù)式，命令式以及并行程序設(shè)計(jì)語(yǔ)言的可靠和有效的解釋器和編譯器的基本原理和技術(shù)。本卷適合于作為高年級(jí)本科生和研究生，以及研究程序設(shè)計(jì)方法學(xué)的學(xué)者的教材或參考書(shū)。

作者簡(jiǎn)介

暫缺《軟件工程：卷2-系統(tǒng)與語(yǔ)言規(guī)約（影印版）》作者簡(jiǎn)介

圖書(shū)目錄

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