168
click to vote
IMPERIAL
15 years 10 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...
138
click to vote
IMPERIAL
15 years 10 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...
|
Formal Methods