Title :
Towards an evolutionary formal software development
Author :
Hutter, Dieter ; Schairer, Axel
Author_Institution :
German Res. Center for Artificial Intelligence, Saarbrucken, Germany
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.
Keywords :
software engineering; software prototyping; systems analysis; evolutionary formal software development; formal developments; formal management of change; incremental development process; rapid prototyping; stepwise development process; Application software; Artificial intelligence; Computer industry; Context modeling; Life testing; Programming; Prototypes; Software prototyping; Software testing; Sufficient conditions;
Conference_Titel :
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
Print_ISBN :
0-7695-1426-X
DOI :
10.1109/ASE.2001.989842
