The Correctness-by-Construction Approach t...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

106,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.¿

Über den Autor

Derrick G. Kourie is a full professor in the Department of Computer Science at the University of Pretoria in South Africa. He has published extensively on software engineering, algorithm construction and analysis, and formal methods and specification languages. His goal is to combine theory and practice in a way that impacts the efficiency and effectiveness of the software process.

Bruce W. Watson is a full professor in the Department of Information Science at Stellenbosch University, and professor extraordinary at the University of Pretoria and director of the FASTAR (Finite Automata Systems - Theoretical and Applied Research) group, spanning the Netherlands, South Africa, the USA, and Finland. His research and development activities cover programming languages, automata and their applications, algorithms, parallelism, and reconfigurable computing.

Zusammenfassung

Step-by-step explanation of how to derive mathematically correct algorithms using small and tractable refinements

Detailed illustration of the presented methodology through a set of carefully selected graded examples

Practical applicability demonstrated by deriving non-trivial algorithms (e.g. in computational geometry) and algorithm taxonomies (as a basis for toolkit construction)

Includes supplementary material: [...]

Inhaltsverzeichnis

Introduction.- Background.- Simple Examples.- Intermediary Examples.- Procedures and Recursion.- Case Study: Lattice Cover Graph Construction.- Case Study 2: Classifying MADFA Construction Algorithms.

Details

Erscheinungsjahr:	2012
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9783642279188
ISBN-10:	364227918X
Sprache:	Englisch
Herstellernummer:	86035670
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Watson, Bruce W. Kourie, Derrick G.
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Maße:	241 x 160 x 20 mm
Von/Mit:	Bruce W. Watson (u. a.)
Erscheinungsdatum:	12.04.2012
Gewicht:	0,588 kg

Artikel-ID: 106677755