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

DOI10.1007/978-3-540-85064-9_8zbMath1170.03336OpenAlexW1800359353MaRDI QIDQ3600304

Ryszard Janicki, Dai Tri Man Lê

Publication date: 10 February 2009

Published in: Transactions on Rough Sets VIII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85064-9_8

zbMATH Keywords

category theorymereologysoftware component``part of relation

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Institution morphisms
• Nonclassical mereology and its application to sets
• Rough mereology: A new paradigm for approximate reasoning
• On a Parthood Specification Method for Component Software
• On Understanding Leśniewski
• Information Flow
• Mereotopology: A theory of parts and boundaries
• Generic Programming
• Mathematical Foundations of Computer Science 2005
• The calculus of individuals and its uses
• On a formal semantics of tabular expressions

This page was built for publication: A Categorical Approach to Mereology and Its Application to Modelling Software Components