The Correctness-by-Construction Approach to Programming by Derrick G. Kourie,Bruce W. Watson

By Derrick G. Kourie,Bruce W. Watson

The concentration of this booklet is on bridging the space among severe tools for constructing software program. at the one hand, there are texts and techniques which are so formal that they scare off all however the so much committed theoretical computing device scientists. at the different, there are a few who think that any degree of ritual is a waste of time, leading to software program that's constructed by means of following intestine emotions and intuitions.

Kourie and Watson suggest an process referred to as “correctness-by-construction,” a method to derive algorithms that is dependent upon formal concept, yet that calls for such idea to be deployed in a truly systematic and pragmatic way.  First they supply the most important theoretical heritage (like first-order predicate common sense or refinement legislation) that's had to comprehend and practice the strategy. They then element a chain of graded examples starting from binary seek to lattice hide graph building and finite automata minimization which will convey the way it might be utilized to more and more advanced algorithmic problems. 

The relevant objective of this e-book is to alter the best way software program builders process their activity at programming-in-the-small point, in an effort to enhancing code caliber. therefore it coheres with either the IEEE’s advisor to the software program Engineering physique of data (SWEBOK) options, which identifies issues lined during this booklet as a part of the software program engineer’s arsenal of instruments and strategies, and with the objectives of the software program Engineering strategy and concept (SEMAT) initiative, which goals to “refound software program engineering in keeping with an effective theory.”

Show description

Read Online or Download The Correctness-by-Construction Approach to Programming PDF

Similar logic books

The Correctness-by-Construction Approach to Programming

The focal point of this e-book is on bridging the distance among severe equipment for constructing software program. at the one hand, there are texts and methods which are so formal that they scare off all however the so much devoted theoretical laptop scientists. at the different, there are a few who think that any degree of ritual is a waste of time, leading to software program that's built through following intestine emotions and intuitions.

Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics)

Functionality Algebras on Finite units offers a extensive advent to the topic, prime as much as the leading edge of analysis. the final recommendations of the common Algebra are given within the first a part of the booklet, to familiarize the reader from the very starting on with the algebraic aspect of functionality algebras.

Facets of Uncertainties and Applications: ICFUA, Kolkata, India, December 2013 (Springer Proceedings in Mathematics & Statistics)

Because the emergence of the formal inspiration of chance conception within the 17th century, uncertainty has been perceived completely by way of likelihood concept. in spite of the fact that, this it appears distinct hyperlink among uncertainty and likelihood idea has come less than research a number of a long time again. Uncertainties are these days authorised to be of varied varieties.

Admissible Sets and Structures (Perspectives in Logic)

Due to the fact that their inception, the views in good judgment and Lecture Notes in good judgment sequence have released seminal works through prime logicians. some of the unique books within the sequence were unavailable for years, yet they're now in print once more. Admissible set conception is an incredible resource of interplay among version conception, recursion idea and set concept, and performs an enormous position in definability conception.

Extra resources for The Correctness-by-Construction Approach to Programming

Sample text

Download PDF sample

Rated 5.00 of 5 – based on 37 votes