DocumentCode :
3120249
Title :
The Cogito methodology and system
Author :
Bloesch, A. ; Kazmierczak, E. ; Kearney, P. ; Traynor, Owen
Author_Institution :
Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
fYear :
1994
fDate :
7-9 Dec 1994
Firstpage :
345
Lastpage :
355
Abstract :
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
Keywords :
programming environments; software engineering; software tools; Cogito I; Cogito methodology; Z-based integrated development methodology; formal development process; formal software development; software support system; software tools; Australia; Centralized control; Computer languages; Computer science; Concrete; Design methodology; Heart; Programming; Software tools; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location :
Tokyo
Print_ISBN :
0-8186-6960-8
Type :
conf
DOI :
10.1109/APSEC.1994.465245
Filename :
465245
Link To Document :
بازگشت