Constructing correct software
โ John Cooke
๐ Library
๐
2005
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Constructing Correct Software
โ Scribed by John Cooke
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Leaves
- 515
- Series
- Formal Approaches to Computing and Information Technology FACIT
- Edition
- 2ed.
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
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.
๐ SIMILAR VOLUMES
Constructing Correct Software
โ John Cooke BSc, PhD, CEng, CMath (auth.)
๐ Library
๐
2005
๐ Springer-Verlag London
๐ English
<p><P>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 (in which the theorem must be proved). Proofs are difficult, though e
Constructing Correct Software
โ D. John Cooke
๐ Library
๐
2004
๐ Springer
๐ English
Constructing Correct Software: The Basic
โ Dr D. John Cooke (auth.)
๐ Library
๐
1998
๐ Springer London
๐ English
<B>Constructing Correct Software - The Basics</B> 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 actuall
Constructing Correct Software (Formal Ap
โ D. John Cooke
๐ Library
๐
2004
๐ Springer
๐ English
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 (in which the theorem must be proved). Proofs are difficult, though even wi
Synthesis of Embedded Software: Framewor
โ Loรฏc Besnard, Thierry Gautier, Paul Le Guernic (auth.), Sandeep K. Shukla, Jean-
๐ Library
๐
2010
๐ Springer US
๐ English
<p>Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive