scientific article; zbMATH DE number 1368958

MaRDI QIDQ4702602zbMATH OpenFDO

Authors Hans-Dieter Ehrich

Publication date 1 April 2001

zbMATH Keywords

compositioninteractioninheritanceobject-oriented specificationdenatotational models

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Constructing systems as object communities
• Denotational semantics of object specification
• Object-oriented specification and open distributed systems
• Object-oriented programming
• Temporal object-oriented programming

Cited in

(8)

• Specification of object-oriented systems
• Object interaction
• Object-oriented specification and open distributed systems
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Denotational semantics of object specification
• Constructing systems as object communities
• On conceptual model specification and verification
• scientific article; zbMATH DE number 795679 (Why is no real title available?)

This page was built for publication:

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