Publikation

Towards an Evolutionary Formal Software-Development Using CASL

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

In: C. Choppy , D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT) Seiten 73-88 Springer, LNCS 1827 2000.

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

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