Advertisement

Verfeinerung

  • Manfred BroyEmail author
Chapter

Zusammenfassung

In diesem Kapitel wenden wir uns einer zentralen Frage der Programmentwicklung zu: Wie kommen wir in Schritten systematisch von abstrakten, gegebenenfalls unterspezifizierten Anforderungsspezifikationen zu einer detaillierten Spezifikation, dann zu einem Entwurf für eine Architektur eines Programms und schließlich zum lauffähigen Programm? Ist es möglich, eine Folge von Schritten so zu wählen, dass die Korrektheit jedes einzelnen Schrittes unmittelbar nachvollziehbar und überprüfbar ist und damit die Korrektheit im Hinblick auf die Ausgangsspezifikation durch den Weg der Konstruktion gesichert ist?

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019

Authors and Affiliations

  1. 1.Institut für Informatik I04Technische Universität MünchenGarchingDeutschland

Personalised recommendations