Datenbestand vom 14. Januar 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 14. Januar 2019

ISBN 9783868539370

Euro 72,00 inkl. 7% MwSt


978-3-86853-937-0, Reihe Informatik

Lothar Schmitz
Programmentwicklung mit Kontrollabstraktionen

145 Seiten, Habilitation Technische Universität Dresden (2001), Hardcover, B5

Zusammenfassung / Abstract

Die vorliegende Arbeit versteht sich als Beitrag zur Programmiermethodik. Es wird gezeigt, dass die Kontrollabstraktion neben anderen Abstraktionsmechanismen ein nützliches Hilfsmittel für die systematische Programmentwicklung darstellt: Mit den hier eingeführten Schleifenabstraktionen wird Überspezifikation vermieden. Dadurch werden Freiheitsgrade nicht nur der sequentiellen, sondern auch der parallelen Ausführung sichtbar. Ganze Familien von Algorithmen lassen sich so auf ihren Kern reduzieren, wobei dieser Kern ein für allemal als korrekt nachgewiesen wird.