Related Books

Data Refinement
Language: en
Pages: 439
Authors: W.-P. de Roever
Categories: Computers
Type: BOOK - Published: 1998-12-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulat
On the Refinement Calculus
Language: en
Pages: 169
Authors: Carroll Morgan
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specification
Program Design Calculi
Language: en
Pages: 418
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2013-12-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that mor
ZB 2000: Formal Specification and Development in Z and B
Language: en
Pages: 524
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 2
A Theory and Practice of Program Development
Language: en
Pages: 421
Authors: Derek J. Andrews
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is ri