This paper deals with basic concepts for objects, classes, types and systems, a denotational model of object classes, a temporal class specification, structuring concepts for object-orientation (inheritance and composition), interactions among (concurrent) object components and finally distributed temporal specifications. For the entire collection see [Zbl 0973.68002].
Recommendations
Cited in
(8)- On conceptual model specification and verification
- Denotational semantics of object specification
- Specification of object-oriented systems
- scientific article; zbMATH DE number 795679 (Why is no real title available?)
- scientific article; zbMATH DE number 1409638 (Why is no real title available?)
- Constructing systems as object communities
- Object interaction
- Object-oriented specification and open distributed systems
This page was built for publication: Object specification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702602)
