实用的软件形式化方法及其开发工具研究
基本信息
批准号：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
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
氟化铵对CoMoS /ZrO_2催化4-甲基酚加氢脱氧性能的影响
氟化铵对CoMoS /ZrO_2催化4-甲基酚加氢脱氧性能的影响
DOI：10.16606/j.cnki.issn0253-4320.2022.10.026
发表时间：2022
3
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
DOI：10.3969/j.issn.1002-0268.2020.03.007
发表时间：2020
4
氯盐环境下钢筋混凝土梁的黏结试验研究
氯盐环境下钢筋混凝土梁的黏结试验研究
DOI：10.3969/j.issn.1001-8360.2019.08.011
发表时间：2019
5
气载放射性碘采样测量方法研究进展
气载放射性碘采样测量方法研究进展
DOI：
发表时间：2020
薛锦云的其他基金
批准号：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
项目类别：专项基金项目