Publikation

Towards an Evolutionary Formal Software Development

Dieter Hutter, Axel Schairer

In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software Engineering (ASE) San Diego IEEE Computer Society 2001.

http://www.dfki.de/vse/papers/hs01.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence