Conference
On properties of "part of" relations
Abstract
The properties that we should require from "part of" relations generated by mereological systems of [10] are discussed. The case of "part of" for direct product and heterogenous relations is discussed in details. The work is motivated by an application to analyse formal specifications of software systems.
Authors
Janicki R; Zhai Y
Volume
1
Pagination
pp. 393-399
Publication Date
December 1, 2004
Conference proceedings
Proceedings of the International Conference on Software Engineering Research and Practice Serp 04