Constructing Correct Software
Download Constructing Correct Software PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Constructing Correct Software book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Constructing Correct Software
Author: D. John Cooke
language: en
Publisher: Springer Science & Business Media
Release Date: 2007-12-31
Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core
Constructing Correct Software
Author: John Cooke
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-06-29
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.
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Author: Manfred Broy
language: en
Publisher: Springer Science & Business Media
Release Date: 1995-11-08
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.