軟件工程卷2

內(nèi)容概要

《軟件工程卷2：系統(tǒng)與語(yǔ)言規(guī)約》介紹了描述系統(tǒng)與語(yǔ)言的規(guī)約的基本原理和技術(shù)。首先，然后講授一些高級(jí)的原理和技術(shù)：分層與組合、指稱與計(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é)用于介紹一些專門的主題，比如模塊（包括UML的類圖）、Petri網(wǎng)、活動(dòng)序列圖、狀態(tài)圖和時(shí)態(tài)邏輯（包括時(shí)段演算）。最后，本卷介紹了開發(fā)函數(shù)式，命令式以及并行程序設(shè)計(jì)語(yǔ)言的可靠和有效的解釋器和編譯器的基本原理和技術(shù)。本卷適合于作為高年級(jí)本科生和研究生，以及研究程序設(shè)計(jì)方法學(xué)的學(xué)者的教材或參考書。

書籍目錄

PREFACE PartⅠ OPENING　1 IntroductionPartⅡ 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/TimePart Ⅳ 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

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    軟件工程卷2 PDF格式下載

---