On a Parthood Specification Method for Component Software

DOI10.1007/11908029_56MaRDI QIDQ3535494zbMATH OpenOpenAlexFDO

Authors Dai Tri Man Lê, Ryszard Janicki

Publication date 13 November 2008

Published in Rough Sets and Current Trends in Computing (Search for Journal in Brave)

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

zbMATH Keywords

mereologysoftware architecturesoftware components``part of relationtheory of composition and decomposition

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 1929953
• Mathematical Foundations of Computer Science 2005
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Formal semantics of an architecture-centric component model

Cited in

(4)

• Composition by Colimit and Formal Software Development
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 1929953 (Why is no real title available?)
• Formal semantics of an architecture-centric component model

This page was built for publication: On a Parthood Specification Method for Component Software

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