Controlling propagation of operations using attributes on relations
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
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)
A formal theory for knowledge-based product model representation
Proceedings of the IFIP TC5/WG5.2 international conference on Knowledge intensive CAD volume 2
Software architecture for product families: principles and practice
Software architecture for product families: principles and practice
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)
Categories for Software Engineering
Categories for Software Engineering
Basic mereology with equivalence relations
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
| Hi-index | 0.00 |
The Basic Mereology framework of [8] is enriched by adding colimit construction from Category Theory. The new framework is then used to model component-based software architecture.