Formal semantics of an architecture-centric component model

MaRDI QIDQ5490368zbMATH OpenFDO

Authors Wang Chu, Depei Qian

Publication date 4 October 2006

zbMATH Keywords

architecturecomponent modelcomponent traceabilityformal semanticssoftware reuse

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Diagrammatic description of software systems composition
• A Software Component Model and Its Preliminary Formalisation
• Category-theoretic approach to software systems design
• On a Parthood Specification Method for Component Software
• Theory and Applications of Models of Computation

Cited in

(7)

• rCOS: defining meanings of component-based software architectures
• Revisiting the categorical approach to systems
• On a Parthood Specification Method for Component Software
• A Software Component Model and Its Preliminary Formalisation
• scientific article; zbMATH DE number 2087400 (Why is no real title available?)
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• Diagrammatic description of software systems composition

This page was built for publication: Formal semantics of an architecture-centric component model

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