当前位置：
首页
>
出版信息
>
详细信息
快速检索
数据库：
各中心已购纸本教材
各中心已购电子教材
国内高校课程
国外著名大学课程
外文原版教材出版信息
外文影印版教材出版信息
名校购书信息
关键词：
Validated Designs for Object-Oriented Systems
书目信息
ISBN：
9781852338817（13位）
中图分类号：
TP3
杜威分类号：
中文译名：
面向对象系统用的经过验证的设计
作者：
Fitzgerald
编者：
语种：
English
出版信息
出版社：
Springer
出版地：
出版年：
2005
版本：
版本类型：
原版
丛书题名：
卷期：
文献信息
关键词：
Computer Science
前言：
摘要：
内容简介：
Object-oriented design methods are commonplace in computing systems development, but are often dismissed as little more than 'boxes and arrows'. If systems developers are to gain the full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous and machine-supported analysis. Validated Designs for Object-oriented Systems describes an object-oriented design approach that combines the benefits of ab
目次：
I. Models and Software Development: Introduction; Building a Model in VDM++: an Overview; VDM++ Tool Support.- II. Modelling Object-oriented Systems in VDM++: Defining Data; Defining Functionality; Modelling Unordered Collections; Modelling Ordered Collections; Modelling Relationships.- III. Modelling in Practice: Three Case Studies; Model Structuring: The Enigma Cipher; Combining Views: The CSLaM System; TradeOne: From Enterprise Architecture to Business Application.- IV. From Models to Code: Concurrency in VDM++ Model Quality; Implementing in Java; A - Solutions to Exercises.- Bibliography.- List of Acronyms.- Subject Index.- Definitions Index.
附录：
全文链接：
读者对象：
grad.
实体信息
页码：
装帧：
hard
尺寸：
其它形态细节：
其它信息
原价：
EUR
69.9500
原版ISBN：
其它ISBN：
图书特色：
书评：
扩展信息
Isbn：
1852338814
issue：
2006JC01
相关附件