Software configuration management in the support of formal software development

Abstract

IntroductionFormal development is the use of formal lmathematical basedr methods in the development of software systems. Formal development is being increasingly applied within industrial practice, particularly in the development of high integrity systems [Hal96, GCR94, Rus93, HB95].Two of the main problems encountered when formal methods are applied to largensystems are: the size of the development, in terms of the large amounts of informationnrequired; and the complexity of the development information [Win90a]. In traditional development,nSoftware Configuration Management (SCM) is the name given to the collectionnof tools and techniques for managing the large amounts of information in a software development.nThis thesis considers how SCM techniques can be adapted and enhanced tonprovide effective support for formal development methods. n n n n