This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Conference on Automated Software Engineering (ASE'01)
Towards an Evolutionary Formal Software Development
San Diego, California
November 26-November 29
ISBN: 0-7695-1426-X
ASCII Text
x 
 
Dieter Hutter, Axel Schairer, "Towards an Evolutionary Formal Software Development," 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 417, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2001.989842,
author = {Dieter Hutter and Axel Schairer},
title = {Towards an Evolutionary Formal Software Development},
journal ={2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {417},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989842},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
TI - Towards an Evolutionary Formal Software Development
SN - 0-7695-1426-X
SP
EP
A1 - Dieter Hutter,
A1 - Axel Schairer,
PY - 2001
VL - 0
JA - 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
ER -
 
Dieter Hutter, German Research Center for Artificial Intelligence
Axel Schairer, German Research Center for Artificial Intelligence
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.
Citation:
Dieter Hutter, Axel Schairer, "Towards an Evolutionary Formal Software Development," ase, pp.417, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.