Towards an Evolutionary Formal Software Development (1999)
Cached
Download Links
- [www.dfki.de]
- [www.ags.uni-sb.de]
- [www.dfki.uni-sb.de]
- [www.dfki.de]
- [www.dfki.de]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings Workshop on Algebraic Development Techniques, WADT-99. Springer, LNCS 1827 |
| Citations: | 34 - 8 self |
BibTeX
@INPROCEEDINGS{Hutter99towardsan,
author = {Dieter Hutter and Axel Schairer},
title = {Towards an Evolutionary Formal Software Development},
booktitle = {Proceedings Workshop on Algebraic Development Techniques, WADT-99. Springer, LNCS 1827},
year = {1999},
pages = {73--88},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Although formal methods have been successfully applied in various industrial applications, their use in software development is still restricted to individual case studies. To overcome this situation we aim at a methodology for an evolutionary formal software development which allows for a stepwise and incremental development process along the line of rapid prototyping. The approach is based on work on a formal management of change for formal developments which is able to maintain proofs when changing specifications.
