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 (Formal Approaches To Computing And Information Technology (Facit))

0/5 ( ratings)

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.

Release: November 08, 2004

ISBN 13: 9783540761563

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

0/5 ( ratings)

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.

Release: November 08, 2004

ISBN 13: 9783540761563

More books from John Cooke

Law of Tort

4.3/5 ( ratings)

Constructing Correct Software

Bossmen: Bill Monroe & Muddy Waters

Bossmen: Bill Monroe & Muddy Waters

The Common Law of Obligations

The Essential Odyssey: The Adventures of Ulysses

Safe Keeping - Voices from a vanished world

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

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

One White Man in Black Africa

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

Hammer and rapier

Rate this book!

Write a review?