Refinement, conformance and inheritance

DOI10.1007/BF01898400MaRDI QIDQ751843zbMATH OpenFDO

Authors Elspeth Cusack

Publication date 1991

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

inheritanceobject-orientedprocess algebra CSP

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification and (property) inheritance in CSP-OZ
• Specification and inheritance in CSP-OZ.
• scientific article; zbMATH DE number 860050
• Inheritance of temporal logic properties.
• Sound and relaxed behavioural inheritance

Cites work

• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• Specification styles in distributed systems design and verification

Cited in

(6)

• Verification, Model Checking, and Abstract Interpretation
• Understanding, Explaining, and Deriving Refinement
• Inheritance of behavior
• On simulation, subtyping and substitutability in sequential object systems
• Sound and relaxed behavioural inheritance
• A framework for establishing formal conformance between object models and object-oriented programs

Describes a project that uses

Uses Software

• LOTOS
• Smalltalk

This page was built for publication: Refinement, conformance and inheritance

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