Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Constructing Correct Software

4/5 ( ratings)

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct implementations. This theorem is the goal of traditional program testing and, more recently, of program verification . Proofs are difficult, though, even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.

Language: English

Pages: 509

Format: Paperback

Publisher: Springer

Release: November 08, 2004

ISBN: 1852338202

ISBN 13: 9781852338206

Constructing Correct Software

4/5 ( ratings)

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct implementations. This theorem is the goal of traditional program testing and, more recently, of program verification . Proofs are difficult, though, even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.

Language: English

Pages: 509

Format: Paperback

Publisher: Springer

Release: November 08, 2004

ISBN: 1852338202

ISBN 13: 9781852338206

More books from John Cooke

Law of Tort

4.3/5 ( ratings)

Hammer and rapier

4.3/5 ( ratings)

Bossmen: Bill Monroe & Muddy Waters

4.3/5 ( ratings)

Bossmen: Bill Monroe & Muddy Waters

4.3/5 ( ratings)

The Common Law of Obligations

4.3/5 ( ratings)

The Essential Odyssey: The Adventures of Ulysses

4.3/5 ( ratings)

Safe Keeping - Voices from a vanished world

4.3/5 ( ratings)

Constructing Correct Software (Formal Approaches To Computing And Information Technology (Facit))

4.3/5 ( ratings)

Memoirs of the Late War, Vol.2 (of 2): Comprising the Personal Narrative of Captain Cooke, of the 43rd Regiment Light Infantry; the History of the Campaign of 1809 in Portugal

4.3/5 ( ratings)

Memoirs of the Late War, Vol.1 (of 2): Comprising the Personal Narrative of Captain Cooke, of the 43rd Regiment Light Infantry; the History of the Campaign of 1809 in Portugal

4.3/5 ( ratings)

One White Man in Black Africa

4.3/5 ( ratings)

Law of Tort PDF eBook (Foundation Studies in Law Series)

4.3/5 ( ratings)

Rate this book!

Write a review?