scientific article; zbMATH DE number 1368958

zbMATH Open0958.68108MaRDI QIDQ4702602FDOQ4702602

Authors: Hans-Dieter Ehrich 

Publication date: 1 April 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

compositioninteractioninheritanceobject-oriented specificationdenatotational models

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (8)

• On conceptual model specification and verification
• Title not available (Why is that?)
• Object interaction
• Denotational semantics of object specification
• Constructing systems as object communities
• Object-oriented specification and open distributed systems
• Title not available (Why is that?)
• Specification of object-oriented systems

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)