具体领域软件的自动生成
基本信息
批准号：69983001
项目类别：专项基金项目
资助金额：13.00
负责人：张乃孝
学科分类：
依托单位：北京大学
批准年份：1999
结题年份：2002
起止时间：2000-01-01 - 2002-12-31
项目状态： 已结题
项目参与者：孙家肃,杨建生
关键词：
具体领域语言形式化方法软件自动生成
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
水中溴代消毒副产物的生成综述
水中溴代消毒副产物的生成综述
DOI：10.7524/j.issn.0254-6108.2021021801
发表时间：2022
2
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
3
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
4
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
5
GF-4序列图像的云自动检测
GF-4序列图像的云自动检测
DOI：CNKI:SUN:YGXB.0.2018-01-012
发表时间：2018
张乃孝的其他基金
批准号：60473056
批准年份：2004
资助金额：22.00
项目类别：面上项目
批准号：69683006
批准年份：1996
资助金额：11.00
项目类别：专项基金项目
批准号：60273001
批准年份：2002
资助金额：22.00
项目类别：面上项目
批准号：69283005
批准年份：1992
资助金额：7.00
项目类别：专项基金项目
相似国自然基金
1
程控交换软件自动生成系统的研究
批准号：68773040
批准年份：1987
负责人：郭肇德
学科分类：F0203
资助金额：1.80
项目类别：面上项目
2
基于领域知识的复杂产品行为模型自动生成方法研究
批准号：61672247
批准年份：2016
负责人：赵建军
学科分类：F0209
资助金额：62.00
项目类别：面上项目
3
六面体网格自动生成研究和软件开发
批准号：11172005
批准年份：2011
负责人：刘剑飞
学科分类：A0813
资助金额：68.00
项目类别：面上项目
4
XBRL领域本体的自动构建研究
批准号：71771104
批准年份：2017
负责人：潘定
学科分类：G0112
资助金额：47.00
项目类别：面上项目