| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A graphical approach to relational reasoning 1 1 This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.
|
Formisano, Andrea.
|
|
2003
|
44 |
3 |
p. 153-174
22 p.
|
article
|
| 2 |
Algebraic semantics of ER-models in the context of the calculus of relations
|
Omodeo, Eugenio G.
|
|
2003
|
44 |
3 |
p. 136-152
17 p.
|
article
|
| 3 |
An Application of Relational Algebra:
|
Del Gobbo, D.
|
|
2003
|
44 |
3 |
p. 94-111
18 p.
|
article
|
| 4 |
Generating Processes from Specifications using the Relation Manipulation System RelView
|
Winter, Michael
|
|
2003
|
44 |
3 |
p. 194-220
27 p.
|
article
|
| 5 |
Preface
|
Kahl, Wolfram
|
|
2003
|
44 |
3 |
p. 221-223
3 p.
|
article
|
| 6 |
Prototyping and Programming with Relations
|
Berghammer, R.
|
|
2003
|
44 |
3 |
p. 27-50
24 p.
|
article
|
| 7 |
Refinement and Development of Programs from Relational Specifications
|
Kahl, Wolfram
|
|
2003
|
44 |
3 |
p. 51-93
43 p.
|
article
|
| 8 |
Requirements Scenarios Formalization Technique
|
Khedri, Ridha
|
|
2003
|
44 |
3 |
p. 112-135
24 p.
|
article
|
| 9 |
Some algebraic laws for spans (and their connections with multirelations) 1 1 Research partly supported by the EC TMR Network getgrats and by the Italian MURST Project tosca.
|
Bruni, Roberto
|
|
2003
|
44 |
3 |
p. 175-193
19 p.
|
article
|
| 10 |
The Tabular Method for Relational Documentation
|
Parnas, David L.
|
|
2003
|
44 |
3 |
p. 1-26
26 p.
|
article
|
Journal description