RCS—a system for version control
Software—Practice & Experience
A design rationale for a language-based editor
Software—Practice & Experience
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
An Object-Oriented Tool for Tracing Requirements
IEEE Software
Maintaining Consistency Under Changes to Formal Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
Version management for tightly integrated software engineering environments
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
FasTLInC: a constraint-based tracing approach
Journal of Systems and Software
A fine-grained and flexible version control for software artifacts
Proceedings of the 26th annual ACM international conference on Design of communication
Hi-index | 0.00 |
This paper describes the implementation of a prototype system that supports fine-grained configuration and version management. The development has been undertaken in the context of providing trusted support for high-integrity software development. The starting point of this paper is a formal specification of the consistency and completeness criteria that our system must meet. The main issues are illustrated using a simple example: a system which supports the evolution of requirements and design documents and maintains the relationships between these two artifacts. The prototype was developed using a sophisticated object-oriented database system. Finally we draw conclusions about the integration of fine-grained configuration and version management facilities into a single framework.