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

德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国科学技术与应用研究[j]。在本项目中，项目管理人员使用了一种新的编程方法，即使用了一种新的编程方法，使用了一种新的编程方法。大足博物馆CASL um Logik höherer Stufe erweitert werden，因此通过了eine ausfhbr . teilspracer . der functionalalprogrammierspracer Haskell通讯。部分内容为：Entwicklungsumgebung zur Spezifikation and formalen Entwicklung Software， die eine kohärente Entwicklung von formalen Spezifikationen and ausfhrbaren functionalen Programmen in einem Rahmen erlaut。

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.