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

Discrete Mathematics with Applications, Metric Edition

5th edition

Discrete Mathematics for Computing

Grassroots

Weakened Ramsey Theory

Discrete Mathematics and Its Applications

Fuzzy Sets and Triangular Norms

Aggregation in Decision-Aided Intelligent Systems

Discrete Mathematics and Its Applications

Subvarieties of the Flag Variety

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

The Green Crypto Handbook

Blockchain for Sustainability Professionals

Marxian Economics

A New Japanese Tradition

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Applications

2025 Release ISE

AK Peters/CRC Recreational Mathematics

60 Years of Mathematical Puzzles in Parabola

Textbooks in Mathematics

Modeling, Simulation and Design

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

The Math Thought Mindset

Logic, Reasoning, and Proofs

Introduction to Modern Cryptography

Revised Third Edition

Courses in Discrete and Computational Geometry

Bolyai Society Mathematical Studies

Spectra of Signed Graphs

London Mathematical Society Lecture Note Series

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Guide to Graph Algorithms

Sequential, Parallel and Distributed

Geometry of Frameworks

Compact Textbooks in Mathematics

Universal Key: Fourier Transformation Innovative

Applications in Science and Technology

Combinatorics and Combinatorial Computing

MCCCC34, Normal, IL, USA, October 21â"23, 2022

Discrete Choice Models

Mathematical Methods, Econometrics, and Data Science

This product is categorised by