193
Voted
IMPERIAL
15 years 11 months ago
1994  188
Voted
IMPERIAL
15 years 11 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...
151
Voted
IMPERIAL
15 years 11 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...
144
Voted
IMPERIAL
15 years 11 months ago
1994 |
Formal Methods