Specification of object-oriented systems (Q2744183)

Einleitung: Im Rahmen der Softwareentwicklung gab es in den letzten Jahrzehnten zwei parallele Entwicklungen, die zu einer veränderten Art der Systemerstellung führen sollten. Zum einen sind Methoden zum strukturierten und modularen Entwurf komplexer Softwaresysteme entwickelt worden, die letztendlich auch zum Ansatz der objektorientierten Programmierung geführt haben. Zum anderen sind ausgehend von den grundlegenden Arbeiten von Guttag (1975) und Liskov und Zilles (1974) algebraische Spezifikationsmethoden zur Unterstützung des Programmentwurfs entwickelt worden.NEWLINENEWLINENEWLINEIn dieser Arbeit soll ein Beitrag dazu geleistet werden, diese beiden Ansätze stärker miteinander zu verbinden und Techniken aus dem Bereich der algebraischen Spezifikationen einzusetzen, um den Entwurf korrekter objektorientierter Systeme zu unterstützen. Bevor wir näher auf den in dieser Arbeit vorgestellten Ansatz eingehen, betrachten wir algebraische Spezifikationen, objektorientierte Programmierung und die Spezifikation von Objekten.