The Cogito Repository Manager

Abstract

This paper describes the Cogito Repository Manager. The motivation behind, and structure o j 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 component of the Cogito system. Finally, a formal specification of parts of the repository manager is given,