On the Refinement Calculus

Author	: Carroll Morgan
Publisher	: Springer Science & Business Media
Total Pages	: 169
Release	: 2012-12-06
ISBN-13	: 9781447132738
ISBN-10	: 1447132734
Rating	: 4/5 (34 Downloads)

DOWNLOAD EBOOK

Book Synopsis On the Refinement Calculus by : Carroll Morgan

Download or read book On the Refinement Calculus 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. 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

Language: en
Pages: 169

On the Refinement Calculus

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

Language: en
Pages: 514

Refinement Calculus

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

Language: en
Pages: 276

Refinement

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

Language: en
Pages: 498

Refinement in Z and Object-Z

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

Language: en
Pages: 832

Stepwise Refinement of Distributed Systems

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