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)

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

(5)

• 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?)

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)