Moderne Softwaretechnik (Software Engineering) befasst sich mit der professionellen Entwicklung von hochqualitativen Softwaresystemen. Softwarequalität und insbesondere die relative Korrektheit eines Programms kann mit Hilfe von formalen Verfahren auf der Basis einer Spezifikation bestimmt werden. Im besten Falle kann a posteriori auf der Grundlage eines fertigen Programms eine formale Verifikation durchgeführt werden. Diese Arbeit untersucht eine konstruktive Herangehensweise, die Programme a priori korrekt erstellt, indem eine abstrakte Spezifikation sukzessive in ein ausführbares Programm überführt wird. Es wird eine graphische Notation und zugleich ein methodischer Ansatz zur Softwareentwicklung definiert, der die transformative Programmierung in den Vordergrund stellt. Die behandelte Thematik liegt dabei im Spannungsfeld mehrerer Aspekte wie Datenflussprogrammierung, Techniken des lambda,-Kalküls und des gegebenen Transformations-Rahmenwerks HOPS. Letzteres ist ein Entwicklungssystem zur visuellen Programmierung, das Gegenstand mehrerer Forschungsprojekte an der Universität der Bundeswehr München war. Ziel der Arbeit ist es, einen nahtlosen Übergang zwischen den einzelnen Phasen der Softwareentwicklung wie Analyse, Entwurf und Implementierung mittels eines transformativen Ansatzes zu erreichen. Dies wird an einem umfangreichen Beispiel aus dem Gebiet der digitalen Signalverarbeitung dargestellt.     «

Moderne Softwaretechnik (Software Engineering) befasst sich mit der professionellen Entwicklung von hochqualitativen Softwaresystemen. Softwarequalität und insbesondere die relative Korrektheit eines Programms kann mit Hilfe von formalen Verfahren auf der Basis einer Spezifikation bestimmt werden. Im besten Falle kann a posteriori auf der Grundlage eines fertigen Programms eine formale Verifikation durchgeführt werden. Diese Arbeit untersucht eine konstruktive Herangehensweise, die Programme a...    »