| 本书介绍了描述系统与语言的规约的基本原理和技术。首先，讲授一些高级的原理和技术、分层与组合、指称与计算以及构型、环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本书的主要章节用于介绍一些专门的主题，比如模块(包括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 9 Semiotics PartⅤ FURTHER SPECIFICATION TECHNIQUES 10 Modularisation 11 Automata and Machines PartⅥ CONCURRENCY AND TEMPORALITY 12 Petri Nets 13 Message and Live 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, Imdular Language 19 SPIL: Simple Parallel, Imperative Language PartⅧ CLOSING 20 Closing PartⅨ APPENDIXES A Naming Convention B Indexes References |
内容加载中，请稍后...
商品评论（0条）