面向语言的领域语言开发方法

批准号：

60273001

项目类别：

面上项目

资助金额：

22.0 万元

负责人：

张乃孝

依托单位：

北京大学

学科分类：

软件理论、软件工程与服务

结题年份：

2005

批准年份：

2002

项目状态：

已结题

项目参与者：

秦胜潮、孙猛、蒋凌霄、苑明理、刘英、范少锋、陈光、陈利立、徐剑

关键词：

领域语言多态性图变换

项目摘要

结项摘要

张乃孝的其他基金

相似基金

相关文献

中文摘要

重点研究语言的多态性，在此基础上探讨语言组件的划分策略和语言组装的完备性与一致性，通过在语言的定义中引入图文法和抽象机模型，可望对领域语言设计的正确性，语言精化过程的正确性及领域语言的可视性等方面进行深入的研究，本项研究对于降低领域语言的开发代价提高领域语言的正确性，可靠性和可维护性具有重要意义。

英文摘要

余代数及其在软件方法学中的应用

批准号：

60473056
项目类别：

面上项目
资助金额：

22.0万元
批准年份：

2004
负责人：

张乃孝
依托单位：

北京大学

具体领域软件的自动生成

批准号：

69983001
项目类别：

专项基金项目
资助金额：

13.0万元
批准年份：

1999
负责人：

张乃孝
依托单位：

北京大学

软件开发的形式方法与变换型语言族

批准号：

69683006
项目类别：

专项基金项目
资助金额：

11.0万元
批准年份：

1996
负责人：

张乃孝
依托单位：

北京大学

软件开发的形式方法与POLYA语言

批准号：

69283005
项目类别：

专项基金项目
资助金额：

7.0万元
批准年份：

1992
负责人：

张乃孝
依托单位：

北京大学

国内基金

海外基金