110
Voted
IMPERIAL
15 years 4 months ago
1994  IMPERIAL
15 years 4 months ago
1994 
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...
IMPERIAL
15 years 4 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
69
Voted
IMPERIAL
15 years 4 months ago
1994 60
Voted
IMPERIAL
15 years 4 months ago
1994  |
Formal Methods