Name
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 [11, 12]. |
Year | Venue | Keywords |
|---|---|---|
2004 | SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2 | mereology,composition,decomposition,relational specification,tabular expressions |
Field | DocType | Citations |
Theoretical physics | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ryszard Janicki | 1 | 592 | 79.92 |
| Yun Zhai | 2 | 0 | 1.35 |