注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)軟件工程及軟件方法學(xué)軟件工程:卷2-系統(tǒng)與語(yǔ)言規(guī)約(影印版)

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

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

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)