Title :
The Cogito Repository Manager
Author :
Traynor, Owen ; Bloesch, Anthony
Author_Institution :
Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia
Abstract :
This paper describes the Cogito Repository Manager. The motivation behind, and structure of, the repository manager are presented in detail. Issues surrounding version and configuration management are also discussed. The way in which process modeling, configuration and version control, and tool integration are combined into a single framework is outlined. An example population which instantiates the system with a C development environment is given. The development has been undertaken, in the context of an integrated system and methodology for the formal construction of programs (Cogito). The repository manager described here forms the central components of the Cogito system
Keywords :
C language; configuration management; database management systems; formal specification; programming environments; software libraries; C development environment; Cogito; Cogito Repository Manager; configuration management; integrated system; process modeling; repository manager; tool integration; version management; Australia; Database systems; Environmental management; Formal specifications; Libraries; Project management; Sorting;
Conference_Titel :
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location :
Tokyo
Print_ISBN :
0-8186-6960-8
DOI :
10.1109/APSEC.1994.465244
