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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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). Formale Programmentwicklung durch sukzessive Etablierung von Teilzielen und RückwärtsSchleifenentwicklung. In: Formale Programmentwicklung mit dynamischer Logik. DUV: Datenverarbeitung. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14621-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-663-14621-6_5
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