Advertisement

Ein allgemeines Konzept zur formalen Modellierung von Top-Down-Programmentwicklungsmethoden

  • Maritta Heisel
Part of the DUV: Datenverarbeitung book series (DUVD)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1992

Authors and Affiliations

  • Maritta Heisel

There are no affiliations available

Personalised recommendations