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)

Full work available at URL https://doi.org/10.1007/BF01898400

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

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

Cited in

(8)

• On simulation, subtyping and substitutability in sequential object systems
• A framework for establishing formal conformance between object models and object-oriented programs
• scientific article; zbMATH DE number 1303998 (Why is no real title available?)
• scientific article; zbMATH DE number 1304368 (Why is no real title available?)
• Understanding, Explaining, and Deriving Refinement
• Sound and relaxed behavioural inheritance
• Verification, Model Checking, and Abstract Interpretation
• Inheritance of behavior

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)