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

• Antragsteller: Professor Dr. Bernd Krieg-Brückner
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2009
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Till Mossakowski