On the Refinement Calculus

Download or Read eBook On the Refinement Calculus PDF written by Carroll Morgan and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 169 pages. Available in PDF, EPUB and Kindle.
On the Refinement Calculus
Author :
Publisher : Springer Science & Business Media
Total Pages : 169
Release :
ISBN-10 : 9781447132738
ISBN-13 : 1447132734
Rating : 4/5 (38 Downloads)

Book Synopsis On the Refinement Calculus by : Carroll Morgan

Book excerpt: On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.


On the Refinement Calculus Related Books

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
Refinement Calculus
Language: en
Pages: 514
Authors: Ralph-Johan Back
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness
Refinement
Language: en
Pages: 276
Authors: John Derrick
Categories: Computers
Type: BOOK - Published: 2018-09-03 - Publisher: Springer

DOWNLOAD EBOOK

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardwa
Refinement in Z and Object-Z
Language: en
Pages: 498
Authors: John Derrick
Categories: Mathematics
Type: BOOK - Published: 2013-08-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and
Stepwise Refinement of Distributed Systems
Language: en
Pages: 832
Authors: Jaco W. de Bakker
Categories: Computers
Type: BOOK - Published: 1990-04-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev