Zusammenfassung
In den vergangenen Kapiteln haben wir Programmentwicklungsmethoden in dynamischer Logik formalisiert, die das Problem auf sehr verschiedene Weise angehen. Damit haben wir nicht nur den Nachweis erbracht, daß die dynamische Logik in Verbindung mit PPL ein mächtiger und für unsere Zwecke geeigneter Formalismus ist, sondern wir haben auch Erkenntnisse darüber gewonnen, welche Beschreibungsmittel für solche Formalisierungen adäquat sind.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1992 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Heisel, M. (1992). Ein allgemeines Konzept zur formalen Modellierung von Top-Down-Programmentwicklungsmethoden. In: Formale Programmentwicklung mit dynamischer Logik. DUV: Datenverarbeitung. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14621-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-663-14621-6_8
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-2031-5
Online ISBN: 978-3-663-14621-6
eBook Packages: Springer Book Archive