当前位置：
首页
>
出版信息
>
详细信息
快速检索
数据库：
各中心已购纸本教材
各中心已购电子教材
国内高校课程
国外著名大学课程
外文原版教材出版信息
外文影印版教材出版信息
名校购书信息
关键词：
Abstract State Machines
- A Method for High-Level System Design and Analysis
书目信息
ISBN：
9783540007029（13位）
中图分类号：
TP3
杜威分类号：
中文译名：
抽象状态机：高级系统设计与分析方法（书和光盘）
作者：
Borger
编者：
语种：
English
出版信息
出版社：
Springer
出版地：
出版年：
2003
版本：
版本类型：
原版
丛书题名：
卷期：
文献信息
关键词：
Computer Science
前言：
摘要：
内容简介：
This book is for hardware-software system engineers (architects, designers, program managers and implementers), researchers and students. It introduces into a systems engineering method which guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines on changing platforms. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The method improves current industrial practice by accurate high-level modeling at the level of abstraction determined by the application domain and by linking the descriptions at the successive stages of the system development cycle in an organic and effectively maintainable chain of rigorous and coherent system models at stepwise refined abstraction levels.
目次：
Introduction.- ASM Design and Analysis Method.- Basic ASMs (Ground Model and Refinement Model).- Structured ASMs (Composition Techniques).- Synchronous Multi-Agent ASMs.- Asynchronous Multi-Agent ASMs.- Universal Design and Computation Model.- Tool Support for ASMs.- History and Survey of ASM Research.- References.
附录：
全文链接：
读者对象：
grad.
实体信息
页码：
装帧：
hard
尺寸：
其它形态细节：
其它信息
原价：
EUR
49.9500
原版ISBN：
其它ISBN：
图书特色：
书评：
扩展信息
Isbn：
3540007024
issue：
2006JC01
相关附件