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

一个国际性的软件开发专家小组正式提出了软件开发的共同框架倡议。CASL中心的发展是一个巨大的损失。在这个项目中，一个由CASL开发的韦尔登应用程序与一个功能强大的Haskell编程语言相结合。由于CASL在Logik höherer Stufe erweitert韦尔登，所以一个简单的Teilsprache zu der funktionalen Programmiersprache Haskell correspondiert。Somit entsteht estmals eine Entwicklungsummgebung zur Spezifikation and formalen Entwicklung von Software，die eine kohärente Entwicklung von formalen Spezifikationen and ausführbaren funktionalen Programmen in einem Rahmen erlaubt。

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.