|
Abstract : |
Configuration Management is an integral requirement of the Software Engineering process. This paper outlines an approach to Configuration Management specifically tailored to supporting formal development of software. A model of VDM developments is defined in which each development is provided as a configuration of its low level components, such as operation definitions and formal proofs. Consistency checking is defined on this model to determine if verification criteria required by the methodology have been carried out. The basis of the consistency checking is determined from relationships between components of the configurations provided by the development tools and the developers themselves. A small VDM case study to which changes are applied is, |
