Projekt

AWE

Abstraktion und Wiederverwendung Formaler Entwicklungen

Abstraktion und Wiederverwendung Formaler Entwicklungen

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.

Partner

  • Universität Bremen

Fördergeber

DFG

LU 707/2-1, LU 707/2-2

DFG

Projekt teilen auf:

Ansprechpartner

Publikationen zum Projekt

David Aspinall, Ewen Denney, Christoph Lüth

In: Mathematics in Computer Science 3 Seiten 309-330 Birkhäuser 3/2010.

Zur Publikation

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