Sciweavers

IMPERIAL
1994

Towards a GeoZ Toolkit

14 years 3 months ago
Towards a GeoZ Toolkit
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who are familiar with the existing Z notation, by explaining the issues that arise and the essential role of schema entailment in the GeoZ reformulation of Z's mathematical toolkit.
Mark Dawson, Steven Vickers
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where IMPERIAL
Authors Mark Dawson, Steven Vickers
Comments (0)