The Cogito Repository Manager

Author

Traynor, Owen ; Bloesch, Anthony

Author_Institution

Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia

fYear

1994

fDate

7-9 Dec 1994

Firstpage

356

Lastpage

365

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;

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.465244

Filename

465244