Projekte

Zeige Ergebnisse 81 bis 82 von 82

HasCASL – HasCASL

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.
AWE – Abstraktion und Wiederverwendung Formaler Entwicklungen

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