Conference
On a Mereological System for Relational Software Specifications
Abstract
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.
Authors
Janicki R
Series
Lecture Notes in Computer Science
Volume
2420
Pagination
pp. 375-386
Publisher
Springer Nature
Publication Date
2002
DOI
10.1007/3-540-45687-2_31
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743