2019 | OriginalPaper | Buchkapitel
Verfeinerung
verfasst von : Manfred Broy
Erschienen in: Logische und Methodische Grundlagen der Programm- und Systementwicklung
Verlag: Springer Fachmedien Wiesbaden
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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?