Discrete mathematics and its applications (2nd ed.)
Discrete mathematics and its applications (2nd ed.)
Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tabular representations in relational documents
Relational methods in computer science
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
A relational model of data for large shared data banks
Communications of the ACM
On a formal semantics of tabular expressions
Science of Computer Programming
Software fundamentals: collected papers by David L. Parnas
Software fundamentals: collected papers by David L. Parnas
A Theory of Objects
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
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
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
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Hi-index | 0.00 |
A version of mereology (i.e. theory of parts and fusions) is presented. Some applications to model software structures are discussed.