By Topic

Towards an evolutionary formal software development

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Hutter, D. ; German Res. Center for Artificial Intelligence, Saarbrucken, Germany ; Schairer, A.

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.

Published in:

Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on

Date of Conference:

26-29 Nov. 2001