Advertisement

Formale Programmentwicklung durch sukzessive Etablierung von Teilzielen und Rückwärts­Schleifenentwicklung

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

Zusammenfassung

Wie wir gesehen haben, hat der programmiersprachliche Ansatz zwei gravierende Nachteile: Erstens ist jede Regel in jeder Situation anwendbar und zweitens müssen unterspezifizierte Programmierprobleme gelöst werden. Eine weitergehende Maschinenunterstützung erscheint kaum möglich, da weder der Suchraum eingeschränkt werden kann noch dem System genügend buchhalterische Information zur Verfügung steht.

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