0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

The Correctness-by-Construction Approach to Programming (Hardcover, 2012 ed.) Price: R1,516
Discovery Miles 15 160
The Correctness-by-Construction Approach to Programming (Hardcover, 2012 ed.): Derrick G. Kourie, Bruce W. Watson

The Correctness-by-Construction Approach to Programming (Hardcover, 2012 ed.)

Derrick G. Kourie, Bruce W. Watson

 (sign in to rate)
Price R1,516
Sold by
Aristata Bookshop - Fulfilled by Loot
Discovery Miles 15 160 | Repayment Terms: R142 pm x 12*

Bookmark and Share

Expected to ship within 2 - 4 working days

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions.

Kourie and Watson advocate an approach known as "correctness-by-construction," a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems. The principal purpose of this book is to change the way software developers approach their task at programming-in-the-small level, with a view to improving code quality. Thus it coheres with both the IEEE's Guide to the Software Engineering Body of Knowledge (SWEBOK) recommendations, which identifies themes covered in this book as part of the software engineer's arsenal of tools and methods, and with the goals of the Software Engineering Method and Theory (SEMAT) initiative, which aims to "refound software engineering based on a solid theory.""

General

Imprint: Springer-Verlag
Country of origin: Germany
Release date: April 2012
First published: 2012
Authors: Derrick G. Kourie • Bruce W. Watson
Dimensions: 235 x 155 x 26mm (L x W x T)
Format: Hardcover
Pages: 266
Edition: 2012 ed.
ISBN-13: 978-3-642-27918-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-642-27918-X
Barcode: 9783642279188

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design…
Joyce Farrell Paperback R1,336 R1,239 Discovery Miles 12 390
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,341 Discovery Miles 13 410
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,462 Discovery Miles 24 620
Software Engineering for Real-Time…
Jim Cooling Paperback R2,285 Discovery Miles 22 850
Software Requirements - Styles and…
Soren Lauesen Paperback R2,205 Discovery Miles 22 050
Design and Use of Software Architectures…
Jan Bosch Paperback R1,773 Discovery Miles 17 730
Software Requirements And Specifications…
M. Jackson Paperback R1,602 Discovery Miles 16 020
Software Inspection
Tom Gilb, Dorothy Graham Paperback R1,855 Discovery Miles 18 550
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R4,981 R4,170 Discovery Miles 41 700
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R5,025 R4,214 Discovery Miles 42 140
Modern Software Engineering - Doing What…
David Farley Paperback R864 Discovery Miles 8 640

See more

Partners