Refinement Calculus

Refinement Calculus
Author :
Publisher : Springer Science & Business Media
Total Pages : 514
Release :
ISBN-10 : 9781461216742
ISBN-13 : 1461216745
Rating : 4/5 (745 Downloads)

Book Synopsis Refinement Calculus by : Ralph-Johan Back

Download or read book Refinement Calculus written by Ralph-Johan Back and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.


Refinement Calculus Related Books

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