Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
批准号:
5290724
负责人:
Professor Dr. Bernd Krieg-Brückner
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2000
资助国家:
德国
项目状态:
已结题
起止时间:
1999-12-31 至 2008-12-31
中文摘要
德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国科学技术与应用研究[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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formal hazard analysis, specification and testing of hybrid real-time systems in application to service robotics
-
批准号:5239308
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Professor Dr. Bernd Krieg-Brückner
-
依托单位:
Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung
-
批准号:5230411
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Professor Dr. Bernd Krieg-Brückner
-
依托单位:
Bildfolgenbasierte semilokale 3D Landmarken zur Navigation in dynamischen Umgebungen
-
批准号:5272164
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr. Bernd Krieg-Brückner
-
依托单位:
国内基金
海外基金
登录
查看更多内容
半有限von Neumann代数中投影集上的Wigner定理
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:钱文华
-
依托单位:
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
-
批准号:82302106
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:石伟哲
-
依托单位:
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
-
批准号:12271074
-
项目类别:面上项目
-
资助金额:45万元
-
批准年份:2022
-
负责人:石瑞
-
依托单位:
线性保持方法在量子信息研究中的应用
-
批准号:12001420
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:王美丽
-
依托单位:
关于算子代数上非交换Weyl-von Neumann定理的研究
-
批准号:12001437
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:文仕林
-
依托单位:
有限von Neumann代数的相对顺从性
-
批准号:12001085
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:周晓艳
-
依托单位:
模型空间上截断Toeplitz算子的可约性
-
批准号:12001089
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:李宇飞
-
依托单位:
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
-
批准号:11961037
-
项目类别:地区科学基金项目
-
资助金额:29.0万元
-
批准年份:2019
-
负责人:朱章生
-
依托单位:
算子代数中齐性空间的微分几何结构
-
批准号:11901453
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2019
-
负责人:崔苗苗
-
依托单位:
非交换Orlicz空间的性质及其闭子空间
-
批准号:11901038
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2019
-
负责人:沈丛丛
-
依托单位: