Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung

• Applicant: Professor Dr. Bernd Krieg-Brückner
• Subject Area: Theoretical Computer Science
• Term: from 2000 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5290724

Die Entwicklung einer international standardisierten Familie von Spezifikationssprachen zur formalen Entwicklung von Software ist das Ziel der Common Framework Initiative. Die Entwicklung der zentralen Sprache CASL ist abgeschlossen. In diesem Projekt soll eine Erweiterung von CASL entwickelt werden mit dem Ziel einer Verbindung mit der funktionalen Programmiersprache Haskell. Dazu muß CASL um Logik höherer Stufe erweitert werden, so dass eine ausführbare Teilsprache zu der funktionalen Programmiersprache Haskell korrespondiert. Somit entsteht erstmals eine Entwicklungsumgebung zur Spezifikation und formalen Entwicklung von Software, die eine kohärente Entwicklung von formalen Spezifikationen und ausführbaren funktionalen Programmen in einem Rahmen erlaubt.

• DFG Programme: Research Grants
• Participating Person: Professor Dr. Till Mossakowski