A Formal Semantics for Z and the Link between Z and the Relational Algebra

Authors:
M. J. van Diepen;Kees M. van Hee
Affiliations:
-;-
Venue:
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Year:
1990

Citing 0
Cited 2

Towards formally templated relational database representations in z

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Translation of Z specifications to executable code: Application to the database domain

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract