000			00553nam a2200181Ia 4500
999			_c5532 _d5532
008			161214s9999 xx 000 0 und d
020			_a1852338202 _c(pbk)
082			_a005.1 _bCOO
100			_aCooke, John
245		0	_aConstructing correct software
250			_a2nd ed.
260			_aLondon: _bSpringer-Verlag, _c2005
300			_axxi, 509 p.; _b: _c24 cm.
365			_aINR _b4988.88
490			_aFormal approaches to computing and information technology
520			_aConstructing 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.
650			_aComputer software Development
650			_aFormal methods - Computer science
650			_aAlgorithm extraction
942			_2ddc _cBK