基于知识的需求获取方法的形式化技术
基本信息
批准号：69983010
项目类别：专项基金项目
资助金额：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
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
2
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
3
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
4
口腔扁平苔藓研究热点前沿的可视化分析
口腔扁平苔藓研究热点前沿的可视化分析
DOI：10.7507/1672-2531.202012076
发表时间：2021
5
Fe-Si合金在600℃不同气氛中的腐蚀
Fe-Si合金在600℃不同气氛中的腐蚀
DOI：DOI: 10.11902/1005.4537.2013.169
发表时间：2014
金芝的其他基金
批准号：90818026
批准年份：2008
资助金额：260.00
项目类别：重大研究计划
批准号：61232015
批准年份：2012
资助金额：280.00
项目类别：重点项目
批准号：69403001
批准年份：1994
资助金额：6.00
项目类别：青年科学基金项目
相似国自然基金
1
基于知识网格的适应性网络化软件需求获取方法和关键技术研究
批准号：60703018
批准年份：2007
负责人：刘进
学科分类：F0202
资助金额：18.00
项目类别：青年科学基金项目
2
基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
批准号：60603090
批准年份：2006
负责人：曾庆田
学科分类：F0209
资助金额：25.00
项目类别：青年科学基金项目
3
基于rCOS的形式化方法需求分析与验证
批准号：61562011
批准年份：2015
负责人：杨静
学科分类：F0203
资助金额：39.00
项目类别：地区科学基金项目
4
基于意图的软件需求形式化建模方法研究
批准号：60503030
批准年份：2005
负责人：刘璘
学科分类：F0203
资助金额：22.00
项目类别：青年科学基金项目