On a Parthood Specification Method for Component Software

DOI10.1007/11908029_56zbMath1162.68400OpenAlexW1528498604MaRDI QIDQ3535494

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

software architecturemereologysoftware components``part of relationtheory of composition and decomposition

Mathematics Subject Classification ID

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

Related Items (1)

A Categorical Approach to Mereology and Its Application to Modelling Software Components

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