Constructing Correct Software

by John Cooke

This text illustrates and explains the constructive approach to software development. The 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. The text is accessible to anyone with a basic background...

• Format: Paperback
• Language: English
• ISBN: 1852338202
• ISBN13: 9781852338206
• Release Date: November 2004
• Publisher: Springer
• Length: 509 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.0" x 6.4" x 9.2"