Component publications and compositions

DOI10.1007/978-3-642-14521-6_14MaRDI QIDQ3585034zbMATH OpenOpenAlexFDO

Authors Naijun Zhan, Eun-Young Kang, Zhiming Liu

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_14

zbMATH Keywords

component publicationscomponentscompositioncontracts

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2080757
• Mathematical Frameworks for Component Software
• scientific article; zbMATH DE number 2163031
• Behavioural contracts for a sound assembly of components
• scientific article; zbMATH DE number 1612492

Cited in

(8)

• Unifying theories of reactive design contracts
• Automated verification of reactive and concurrent programs by calculation
• Hierarchical composition of industrial components
• scientific article; zbMATH DE number 1612492 (Why is no real title available?)
• Unifying theories of programming in Isabelle
• Rigorous development of component-based systems using component metadata and patterns
• Scenario-driven component behavior derivation
• A Model of Component-Based Programming

Describes a project that uses

Uses Software

• rCOS

This page was built for publication: Component publications and compositions

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