DocumentCode
378523
Title
Towards an evolutionary formal software development
Author
Hutter, Dieter ; Schairer, Axel
Author_Institution
German Res. Center for Artificial Intelligence, Saarbrucken, Germany
fYear
2001
fDate
26-29 Nov. 2001
Firstpage
417
Lastpage
420
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
ISSN
1938-4300
Print_ISBN
0-7695-1426-X
Type
conf
DOI
10.1109/ASE.2001.989842
Filename
989842
Link To Document