Formal Object-Oriented Development

By: Kevin Lano

Write A Review

Paperback

At a Glance

Paperback
440 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

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 Mathematics Mathematical Foundation Mathematical Logic Gardening Computer Science Mathematical Theory of Computation

Introduction	p. 1
The Software Development Process	p. 15
From Analysis to Formal Specification	p. 44
Specification Notations and Techniques	p. 84
Design and Refinement	p. 137
Proof Methods and Techniques	p. 176
Concurrent and Real-time Behaviour	p. 219
Implementation and Code Generation	p. 257
Case Studies	p. 286
A Appendix: Z[subscript ++]	p. 332
B Appendix: VDM[subscript ++]	p. 365
C Exercise Answers	p. 388
D Task Analysis	p. 415
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Object-Oriented Development

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Discrete Mathematics for Computing

Grassroots

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

AI Engineering

Building Applications with Foundation Models

Swim Training Patterns

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

Effective Machine Learning Teams

Best Practices for ML Practitioners

Beading With Algorithms

Cellular Automata In Peyote Stitch

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Zhang Time Discretization (ZTD) Formulas and Applications

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Introduction to Modern Cryptography

Revised Third Edition

Why Don't Rabbits Rule The World?

Mathematical answers to life's key questions

Evaluation by Alignment

A Framework for Robust End-to-End NLP Assessment

Accelerating Graph Algorithms

Axiomatic Set Theory

An Introduction

Scientific Computing and Software

Go20 CSCS, Ghajnsielem, Malta, May 20-24, 2024

Logic Circuit Design

Selected Topics and Methods

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

Formal Models of Divide-and-Conquer Queuing Systems in 5G Infrastructures

This product is categorised by