Reuse in replaying database design

This paper presents a technique for reducing the effort required to replay database schema design during maintenance. This technique is based on the reuse of the re"nement steps, the schemas and the veri"cation of the original design. For each of them, the technique speci"es the conditions under which reuse can be applied and which are the local changes that must be operated on the components of the previous design. Formal methods in maintenance, software change ver- i"cation and validation, designing for ease of software evolution, software change and impact analysis.