Object-oriented modeling and design
Object-oriented modeling and design
Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Software architecture for product families: principles and practice
Software architecture for product families: principles and practice
On the criteria to be used in decomposing systems into modules
Communications of the ACM
On a formal semantics of tabular expressions
Science of Computer Programming
Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis
IEEE Transactions on Knowledge and Data Engineering
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rough sets and infomorphisms: towards approximation of relations in distributed environments
Fundamenta Informaticae - Concurrency specification and programming
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Categories for Software Engineering
Categories for Software Engineering
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Basic mereology with equivalence relations
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
| Hi-index | 0.00 |
Mereocat (mereological category), a theory of part-whole relations based on category theory, is proposed and its basic properties are discussed. The concepts of mereological sum is redefined in categorical framework. The theory is then applied to model some properties of component software architecture.