The Cogito Repository Manager
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 8 references indexed in Scilit:
- Tool Integration In The Pact Environment.Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Supporting multiple tool integration paradigms within a single environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Cogito methodology and systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A precise examination of the behaviour of process modelsPublished by Springer Nature ,1994
- Concepts and implementation of a rule-based process engine/sup +/Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Version management in GypsyACM SIGPLAN Notices, 1988
- The object management system of PCTE as a software engineering database management systemPublished by Association for Computing Machinery (ACM) ,1987
- The source code control systemIEEE Transactions on Software Engineering, 1975