Formal specifications design, evolution and reuse
Ferhat Khendek, Gregor von Bochmann · Conference of the Centre for Advanced Studies on Collaborative Research · 1993
The effort for designing specifications for complex systems is tremendous. Moreover, specifications may evolve in order to accommodate new requirements, such as the addition of new functionality. Each added functionality may interfere with many existing ones. Therefore, approaches to cope with the design and the evolution of specifications are needed. In this paper, we summarize our results for formal specification design, evolution and reuse.