实用的软件形式化方法及其开发工具研究
基本信息
批准号：69783006
项目类别：专项基金项目
资助金额：12.00
负责人：薛锦云
学科分类：
依托单位：江西师范大学
批准年份：1997
结题年份：2000
起止时间：1998-01-01 - 2000-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
基于速变LOS的无人船反步自适应路径跟踪控制
基于速变LOS的无人船反步自适应路径跟踪控制
DOI：10.19693/j.issn.1673-3185.01377
发表时间：2019
4
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
5
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
DOI：10.16509/j.georeview.2021.02.010
发表时间：2021
薛锦云的其他基金
批准号：69443001
批准年份：1994
资助金额：5.00
项目类别：专项基金项目
批准号：60273092
批准年份：2002
资助金额：22.00
项目类别：面上项目
批准号：61272075
批准年份：2012
资助金额：70.00
项目类别：面上项目
批准号：69983003
批准年份：1999
资助金额：13.00
项目类别：专项基金项目
批准号：60773054
批准年份：2007
资助金额：27.00
项目类别：面上项目
批准号：68973040
批准年份：1989
资助金额：3.00
项目类别：面上项目
批准号：60573080
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：61472167
批准年份：2014
资助金额：82.00
项目类别：面上项目
相似国自然基金
1
并行分布处理软件开发工具
批准号：68800303
批准年份：1988
负责人：商陆军
学科分类：F0203
资助金额：1.00
项目类别：青年科学基金项目
2
形式化软件工程的理论和方法
批准号：69173316
批准年份：1991
负责人：冯玉琳
学科分类：F0203
资助金额：4.00
项目类别：面上项目
3
基于意图的软件需求形式化建模方法研究
批准号：60503030
批准年份：2005
负责人：刘璘
学科分类：F0203
资助金额：22.00
项目类别：青年科学基金项目
4
柔性软件体系结构形式化描述方法研究
批准号：60542004
批准年份：2005
负责人：覃征
学科分类：F0203
资助金额：8.00
项目类别：专项基金项目