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

批准号：

69283005

项目类别：

专项基金项目

资助金额：

7.0 万元

负责人：

张乃孝

依托单位：

北京大学

学科分类：

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

结题年份：

1995

批准年份：

1992

项目状态：

已结题

项目参与者：

许卓群、丁文魁、屈婉玲

关键词：

软件开发形式方法 POLYA语言

张乃孝的其他基金

相似基金

相关文献

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

批准号：

60473056
项目类别：

面上项目
资助金额：

22.0万元
批准年份：

2004
负责人：

张乃孝
依托单位：

北京大学

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

批准号：

60273001
项目类别：

面上项目
资助金额：

22.0万元
批准年份：

2002
负责人：

张乃孝
依托单位：

北京大学

具体领域软件的自动生成

批准号：

69983001
项目类别：

专项基金项目
资助金额：

13.0万元
批准年份：

1999
负责人：

张乃孝
依托单位：

北京大学

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

批准号：

69683006
项目类别：

专项基金项目
资助金额：

11.0万元
批准年份：

1996
负责人：

张乃孝
依托单位：

北京大学

国内基金

海外基金