Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

IMPERIAL
1994

favoriteEmaildiscussreport

108views Formal Methods» more IMPERIAL 1994»

Towards a GeoZ Toolkit

13 years 8 months ago

Towards a GeoZ Toolkit

Download www.cs.bham.ac.uk

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

Real-time Traffic

Formal Methods | Geometric Logic | GeoZ Fromthe Perspective | IMPERIAL 1994 | Speci Cation Language |

claim paper

Related Content

» Gravisto Graph Visualization Toolkit

» Towards an Open Source Toolkit for Ubiquitous Device Authentication

» Toward Characterizing the Performance of SOAP Toolkits

» Identity Unity and Individuality Towards a Formal Toolkit for Ontological Analysis

» The FPGA HighPerformance Computing Alliance Parallel Toolkit

» A toolkit for strategic usability results from workshops panels and surveys

» Ubidesigner a webbased toolkit for configuring and fieldtesting UbiComp prototypes

» Rapid bootstrapping of five eastern european languages using the rapid language adaptation...

» Lifecycle of a Casual Web Ontology Development Process

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	IMPERIAL
Authors	Mark Dawson, Steven Vickers

Comments (0)