Options
Towards an evolutionary formal software-development using CASL
Publikationstyp
Conference Paper
Date Issued
1999-09
Sprache
English
Author(s)
First published in
Number in series
1827 LNCS
Start Page
73
End Page
88
Citation
Lecture Notes in Computer Science 1827 LNCS: 73-88 (2000)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Springer
In practice, the formal development of software is an evolutionary process. Failed proof attempts give rise to changes in the specification and such changes invalidate proofs which have been previously performed. Clearly, it is very desirable to preserve much of the proof effort after such changes. In this paper, we propose development graphs as a general framework for modular specifications and define a structure preserving translation of Casl specifications into these graphs. The feature of development graphs, which is most important for an evolutionary process, is that they simplify the analysis of changes to the specification such that their negative effects can be kept to a minimum.
DDC Class
004: Informatik