Validated Designs for Object-Oriented Systems

By: John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee

Write A Review

Hardcover | 3 February 2005

At a Glance

Hardcover
416 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Hardcover

$119.00

or 4 interest-free payments of $29.75 with

or

Ships in 5 to 7 business days

This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: § The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. § The use of tools and an accessible modelling language improves student motivation. § The industry-based examples and case studies add to the credibility of the approach. § The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. § Support materials as listed above.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Discrete Mathematics

Discrete Mathematics with Applications, Metric Edition

5th edition

Paperback

RRP $184.95

$148.75

20%
OFF

Discrete Mathematics for Computing

Grassroots

Paperback

RRP $150.00

$129.75

13%
OFF

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Marxian Economics : A New Japanese Tradition - Hiroshi Onishi

$54.99

21%
OFF

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$161.99

Linear Algebra with Applications in Machine Learning : From Intuitive Understanding to Python Coding - Md. Jalil Piran

$83.75

27%
OFF

Models and Software Development
Introduction
Building a Model in VDM++: an Overview VDM++ Tool Support
Modelling Object-oriented Systems in VDM++
Defining Data
Defining Functionality
Modelling Unordered Collections
Modelling Ordered Collections
Modelling Relationships
Modelling in Practice
Three Case Studies Model Structuring
The Enigma Cipher Combining Views
The CSLaM System TradeOne
From Enterprise Architecture to Business Application
From Models to Code Concurrency in VDM++
Model Quality Implementing in Java A - Solutions to exercises
Bibliography
List of Acronyms
Subject Index
Definitions Index
Table of Contents provided by Publisher. All Rights Reserved.

Validated Designs for Object-Oriented Systems

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Discrete Mathematics

Discrete Mathematics with Applications, Metric Edition

5th edition

Discrete Mathematics for Computing

Grassroots

How to Prove It

A Structured Approach

Marxian Economics

A New Japanese Tradition

The Green Crypto Handbook

Blockchain for Sustainability Professionals

Topics in Mathematical Modeling by Difference Equations

With Mathematica

Weakened Ramsey Theory

Discrete Mathematics and Its Applications

Reading Randomness I

New Horizons for Understanding Fractal and Fractional Calculus

Parabolic Problems

60 Years of Mathematical Puzzles in Parabola

Introduction to Modern Cryptography

Revised Third Edition

Fuzzy Sets and Triangular Norms

Aggregation in Decision-Aided Intelligent Systems

Business Process Analytics

Modeling, Simulation and Design

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Applications

2025 Release ISE

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Axiomatic Set Theory

An Introduction

Geometry of Frameworks

Compact Textbooks in Mathematics

Combinatorics and Combinatorial Computing

MCCCC34, Normal, IL, USA, October 21-23, 2022

Discrete Choice Models

Mathematical Methods, Econometrics, and Data Science

Quantum Communication and Cryptography

The Algebra of Code, Volume 1

Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming

New Probes into Discrete and Convex Geometry

Bolyai Society Mathematical Studies

An Introduction to Single-User Information Theory

Springer Undergraduate Texts in Mathematics and Technology

From Christoffel Words to Markoff Numbers

This product is categorised by