Formale Programmentwicklung mit dynamischer Logik

✍ Scribed by Maritta Heisel

• Publisher: Deutscher Universitätsverlag
• Year: 1992
• Tongue: German
• Leaves: 296
• Series: DUV: Datenverarbeitung
• Edition: 1. Aufl.
• Category: Library

✦ Table of Contents

Front Matter ....Pages I-IX
Einleitung (Maritta Heisel)....Pages 1-4
Bisherige Ansätze zur Programmentwicklung (Maritta Heisel)....Pages 5-24
Das KIV-System als Werkzeug für die formale Programmentwicklung (Maritta Heisel)....Pages 25-55
Ein programmiersprachenorientierter Ansatz (Maritta Heisel)....Pages 56-104
Formale Programmentwicklung durch sukzessive Etablierung von Teilzielen und Rückwärts­Schleifenentwicklung (Maritta Heisel)....Pages 105-147
Vollautomatische Programmsynthese mit Finite Differencing (Maritta Heisel)....Pages 148-157
Halbautomatische Entwicklung von Divide-and-Conquer-Algorithmen (Maritta Heisel)....Pages 158-169
Ein allgemeines Konzept zur formalen Modellierung von Top-Down-Programmentwicklungsmethoden (Maritta Heisel)....Pages 170-183
Definition einer offenen, integrierten Programmentwicklungsmethode (Maritta Heisel)....Pages 184-224
Fazit (Maritta Heisel)....Pages 225-226
Literatur (Maritta Heisel)....Pages 227-230
Back Matter ....Pages 231-288

✦ Subjects

Computer Science; Logics and Meanings of Programs