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

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 $0.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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Software Engineering Databases Data Capture & Analysis Mathematics Discrete Mathematics Computer Science

Other Editions and Formats

Paperback

Published: 13th October 2010

View Product

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

Quantum Communication and Cryptography

Discrete Mathematics for Computing

Grassroots

Discrete Mathematics with Applications, Metric Edition

5th edition

Topics in Mathematical Modeling by Difference Equations

With Mathematica

The Green Crypto Handbook

Blockchain for Sustainability Professionals

Reading Randomness I

New Horizons for Understanding Fractal and Fractional Calculus

Introduction to Modern Cryptography

Revised Third Edition

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Business Process Analytics

Modeling, Simulation and Design

Discrete Mathematics and Its Applications

2025 Release ISE

Parabolic Problems

60 Years of Mathematical Puzzles in Parabola

Marxian Economics

A New Japanese Tradition

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Geometry of Frameworks

Compact Textbooks in Mathematics

Axiomatic Set Theory

An Introduction

From Christoffel Words To Markoff Numbers 2E Cloth

The Algebra of Code, Volume 1

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

Emergence and Phase Transitions in Uniform Random Graphs

London Mathematical Society Lecture Note Series

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

Electromagnetics Through the Finite Element Method

From Maxwell's Equations to Code

Chapman & Hall/CRC Cryptography and Network Security

Chapman & Hall/Crc Cryptography and Network Security

Mathematics of Tabletop Games

AK Peters/CRC Recreational Mathematics Series

CISSP Study Guide

Syngress

This product is categorised by