Theorems about composition

DOI10.1007/10722010_12MaRDI QIDQ2721100zbMATH OpenFDO

Authors Michel Charpentier, K. Mani Chandy

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2087508
• Specification transformers: a predicate transformer approach to composition
• A compositional specification theory for component behaviours
• Reasoning about composition using property transformers and their conjugates
• Component publications and compositions

Cited in

(11)

• Composing leads-to properties
• Specification transformers: a predicate transformer approach to composition
• Ensuring reachability by design
• Compositional strategy mapping
• Component publications and compositions
• Compositionality Through an Operational Semantics of Contexts
• scientific article; zbMATH DE number 38155 (Why is no real title available?)
• scientific article; zbMATH DE number 2079659 (Why is no real title available?)
• scientific article; zbMATH DE number 2087508 (Why is no real title available?)
• scientific article; zbMATH DE number 860044 (Why is no real title available?)
• Application of the composition principle to unity-like specifications

This page was built for publication: Theorems about composition

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