The Cogito Tool Architecture
Anthony Bloesch and Owen Traynor
Software Varification Research Centre
Department of Computer Science,
The University of Queensland
Qld. 4072 Australia.
{nickson, owen, marku}@cs.uq.oz.au
Abstract
The Cogito system provides comprehensive reasoning
and development support for modular Z specifications.
This paper describes the tool architecture of the Cogito
support system. The support system is designed
specifically to support the Cogito methodology.
All components of the Cogito development environment
are described. The manner in which integration is
achieved and the form of interaction between the
various components of the system is defined. Tool
implementation technologies, used in constructing the
Cogito toolset, are summarised. The way in which
developments are recorded and maintained within the
Cogito system is outlined and a definition of the process
model for specification construction is given.
Conference Home Page