Functional documents for computer systems
Science of Computer Programming
Towards a formal semantics of Parnas tables
Proceedings of the 17th international conference on Software engineering
Relational methods in computer science
Relational methods in computer science
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
Towards a Mereological System for Direct Products and Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
On Connection Synthesis via Rough Mereology
Fundamenta Informaticae - Qualitative Spatial Reasoning
Towards a Mereological System for Direct Products and Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Possible Rough Ingredients of Concepts in Approximation Spaces
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
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
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
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Possible Rough Ingredients of Concepts in Approximation Spaces
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |
The concept of being a part of is defined and analysed in an algebraic framework and then apply to the algebra of relations. A motivation that comes from Software Engineering is discussed.