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

将代数规范和函数式编程相结合作为正式软件开发的环境

• 批准号: 5290724
• 负责人: Professor Dr. Bernd Krieg-Brückner
• 金额: --
• 依托单位: Fachbereich 03: Mathematik und Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5290724?language=en
• 关键词: Kombination; von; algebraischer; Spezifikation; und

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.

这是一个国际标准化组织，它是由软件和公共框架倡议组成的。他说：“这是一件很重要的事情。在我们的设计项目中，我们可以通过编程来实现这一点。这是一件非常重要的事情，因此，我们不能将所有的工作都付诸实践。有些人在软件开发过程中会遇到一些问题，比如软件开发过程中可能会遇到一些问题，而另一些问题则会出现在编程中。