| 词条 | 软件工程卷:系统与语言规约 |
| 释义 | 版权信息书 名: 软件工程卷：系统与语言规约 作 者：(丹)比约纳 出版社： 清华大学出版社 出版时间： 2007 ISBN: 9787302154327 开本： 16 定价: 79.00 元 内容简介《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然后讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块(包括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 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。