scientific article; zbMATH DE number 2087508

MaRDI QIDQ4738308zbMATH OpenFDO

Authors Michel Charpentier

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2306/23060001.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1759496
• Specification transformers: a predicate transformer approach to composition
• A logical view of composition
• scientific article; zbMATH DE number 1612492
• Compositionality Through an Operational Semantics of Contexts

Cited in

(12)

• Composing leads-to properties
• Specification transformers: a predicate transformer approach to composition
• A formal framework for distributed cyber-physical systems
• scientific article; zbMATH DE number 1612492 (Why is no real title available?)
• Junctive compositions of specifications in total and general correctness
• Compositionality Through an Operational Semantics of Contexts
• scientific article; zbMATH DE number 2079659 (Why is no real title available?)
• A logic for complex computing systems: properties preservation along integration and abstraction
• Towards compositional feedback in non-deterministic and non-input-receptive systems
• Compositionality for tightly coupled systems: a new application of the propositions-as-types interpretation
• A logical view of composition
• A general framework for architecture composability

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 Q4738308)