English
Deutsch
Français
简体中文
繁體中文
Categories
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Methods for Finding Zeros in Polynomials
Lectures on Stochastic Flows and Applications
Educational Psychology by Edward L. Thorndike
The Last Days of Tolstoy by V. G. Chertkov
Globalization and Responsibility
Lectures on Siegel Modular Forms and Representation by Quadratic Forms
Lectures on Topics In One-Parameter Bifurcation Problems
History of the Incas by Pedro Sarmiento de Gamboa
Linear Algebra: Theorems and Applications
Lectures on Stochastic Differential Equations and Malliavin Calculus
A Short Biographical Dictionary of English Literature
Lectures on Sieve Methods and Prime Number Theory
Dollars and Sense by William Crosbie Hunter
The Theory of the Theatre by Clayton Hamilton
The Mathematics of Investment
Occupiers of Wall Street: Losers or Game Changers
The Solution of the Pyramid Problem
Lectures on Moduli of Curves
Walden by Henry David Thoreau
Useful Links
John Fitzgerald, et al, «Validated Designs for Object-oriented Systems»
Posted on 2010-04-14
|  |
More Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain 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 & machine-supported analysis. This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. or
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download from RAPIDSHARE | Alive |
| Download from OXYSHARE | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Technical Object Solutions : Managing the Object-Oriented Project (Addison-Wesley Object T Author: Grady BoochPublisher: Pearson EducationPublish Date: 12 October, 1995ISBN: 0805305947 |
 | Technical Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems Publisher: SpringerLanguage: EnglishISBN: 3540244298Paperback: 180 pagesData: 2007Format: PDFDescription: Metrics are paramount in every engineering discipline. Software engineering, however, is not considered a classical engineering activ ... |
 | Programming A Practical Guide to Testing Object-Oriented Software (The Addison-Wesley Object Technology Series) A Practical Guide to Testing Object-Oriented Software (The Addison-Wesley Object Technology Series)Addison-Wesley Professional | ISBN: 0201325640 | 416 pages | March 15, 2001 | CHM | 5 MbA Practical Guide to Testing Object-Oriented Software ... |
| Technical A Practical Guide to Testing Object-Oriented Software (The Addison-Wesley Object Technology Series) Addison-Wesley Professional | ISBN: 0201325640 | 416 pages | March 15, 2001 | CHM | 5 Mb A Practical Guide to Testing Object-Oriented Software focuses on the real-world issues that arise in planning and implementing effective testing for ob ... |
 | Technical Validated Designs for Object-oriented Systems Object-oriented design methods are commonplace in computing systems development, but are often dismissed as ‘boxes & arrows’. If systems developers are to gain full advantage from such methods, they should be able to achiev ... |
 | Technical Object-Oriented Analysis and Design with Applications (3rd Edition) (Addison-Wesley Object Technology Series) Author: Jim Conallen, Bobbi J. Young, Michael W. Engel, Robert A. Maksimchuk, Grady Booch, Kelli A. HoustonPublisher: Addison-Wesley Professional (2007)Binding: Hardcover, 720 pagespricer: $64.99ISBN-10: 020189551XeditorialreviewsIn this ea ... |
Comments (0)
