文件名称:SE2-Spec-of-Systems-and-Languages
-
所属分类:
- 标签属性:
- 上传时间:2012-11-16
-
文件大小:31.02mb
-
已下载:0次
-
提 供 者:
-
相关连接:无下载说明:别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容来自于网络,使用问题请自行百度
第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号(语用,语义和语法的系统和语言) ,空间造型和简单的时间现象,而且这种专门题目为模块化(包括uml类图), petri网,活出序列图,状态图,和颞逻辑学,其中包括持续计算。最后,本书介绍的技术翻译和编译器开发的功能性,势在必行,模块化和并行编程语言。 -The second volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.
This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
文件名 | 大小 | 更新时间 |
---|---|---|
Software Engineering 2 - Specification of Systems and Languages (Springer | 2006).pdf |
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.