The Cogito methodology and system
Anthony Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor · 2002
Cogito I is the first iteration of a Z-based integrated development methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way in which Cogito integrates the various phases of the formal development process and provides comprehensive tool support for all phases of development addressed by the methodology.>