On a Parthood Specification Method for Component Software

DOI10.1007/11908029_56zbMATH Open1162.68400OpenAlexW1528498604MaRDI QIDQ3535494FDOQ3535494

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

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

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)

Cited In (4)

• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• Title not available (Why is that?)
• Formal semantics of an architecture-centric component model
• Composition by Colimit and Formal Software Development

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)