A Categorical Approach to Mereology and Its Application to Modelling Software Components
DOI10.1007/978-3-540-85064-9_8zbMATH Open1170.03336OpenAlexW1800359353MaRDI QIDQ3600304FDOQ3600304
Authors: Dai Tri Man Lê, Ryszard Janicki 
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
Recommendations
- Category-theoretic approach to software systems design
- Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
- scientific article; zbMATH DE number 1929953
- A category-theoretical approach to logic program development
- scientific article; zbMATH DE number 1696908
- Composition of Model Transformations: A Categorical Framework
- Categorical models of logical systems in the mathematical theory of programming
- A category-theoretic account of program modules
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Categorical logic, topoi (03G30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rough mereology: A new paradigm for approximate reasoning
- Title not available (Why is that?)
- Generic Programming
- Institution morphisms
- Information Flow
- The calculus of individuals and its uses
- Title not available (Why is that?)
- Mereotopology: A theory of parts and boundaries
- Nonclassical mereology and its application to sets
- On a formal semantics of tabular expressions
- Title not available (Why is that?)
- On Understanding Leśniewski
- On a Parthood Specification Method for Component Software
- Title not available (Why is that?)
- Mathematical Foundations of Computer Science 2005
Cited In (7)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematical Foundations of Computer Science 2005
- On a Parthood Specification Method for Component Software
- Optionality, scope, and licensing: An application of partially ordered categories
- Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
This page was built for publication: A Categorical Approach to Mereology and Its Application to Modelling Software Components
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600304)
