Zusammenfassung
Im vorangegangenen Kapitel haben wir einen allgemeinen Rahmen zur formalen Modellierung von Top-Down-Programmentwicklungsmethoden entwickelt. Damit haben wir ein Beschreibungsmittel geschaffen, das wir nun einsetzen wollen, um eine offene, integrierte Programmiermethodik zu definieren. Hierzu werden wir zunächst die in den Kapiteln 4 bis 7 vorgestellten Einzelmethoden als Mengen von Programmentwicklungsstrategien auszudrücken, um sie kompatibel zu machen und zu einer homogenen Methode zu verbinden.
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). Definition einer offenen, integrierten Programmentwicklungsmethode. In: Formale Programmentwicklung mit dynamischer Logik. DUV: Datenverarbeitung. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14621-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-663-14621-6_9
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