Specification of object-oriented systems

MaRDI QIDQ2744183zbMATH OpenFDO

Authors Christoph Schmitz

Publication date 19 September 2001

zbMATH Keywords

algebraic specificationmodular design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 1019598
• scientific article; zbMATH DE number 1368958
• scientific article; zbMATH DE number 1110831
• scientific article; zbMATH DE number 1231678
• scientific article; zbMATH DE number 957978
• Object-oriented specification and open distributed systems
• scientific article; zbMATH DE number 711035
• Object Specification Logic
• Specifying concurrent object-oriented systems

Cited in

(8)

• Denotational semantics of object specification
• scientific article; zbMATH DE number 3926214 (Why is no real title available?)
• Object-oriented modelling and specification using SHE
• scientific article; zbMATH DE number 795679 (Why is no real title available?)
• scientific article; zbMATH DE number 867229 (Why is no real title available?)
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

This page was built for publication: Specification of object-oriented systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2744183)