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 7 to 10 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.

You Can Find This Book In

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

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 Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Site Reliability Engineering

How Google Runs Production Systems

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

The Art of Spyro

Reignited Trilogy

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Git : Pocket Guide

A Working Introduction

Lean Enterprise

How High Performance Organizations Innovate at Scale

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Arduino For Dummies

Blackwell Philosophy Anthologies

User Story Mapping

Discover the Whote Story, Build the Right Product

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

This product is categorised by