分划递推法应用于高可靠Java程序开发方法研究
基本信息
批准号：69983003
项目类别：专项基金项目
资助金额：13.00
负责人：薛锦云
学科分类：
依托单位：江西师范大学
批准年份：1999
结题年份：2002
起止时间：2000-01-01 - 2002-12-31
项目状态： 已结题
项目参与者：王明文,杨庆红,万剑怡,胡江华,余彤仑,揭安全,李欣,钟林辉,江波
关键词：
分划递推法形式化方法Java程序
结项摘要
项目摘要
项目成果
{{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
项目类别：面上项目
批准号：60773054
批准年份：2007
资助金额：27.00
项目类别：面上项目
批准号：68973040
批准年份：1989
资助金额：3.00
项目类别：面上项目
批准号：60573080
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：61472167
批准年份：2014
资助金额：82.00
项目类别：面上项目
批准号：69783006
批准年份：1997
资助金额：12.00
项目类别：专项基金项目
相似国自然基金
1
通用Java程序到实时Java程序的对象自动分类和转化方法研究
批准号：61272166
批准年份：2012
负责人：史晓华
学科分类：F0203
资助金额：81.00
项目类别：面上项目
2
SPMD程序设计模型——从Fortran到Java
批准号：69873004
批准年份：1998
负责人：李晓明
学科分类：F0204
资助金额：12.00
项目类别：面上项目
3
分划逻辑的相关研究及应用
批准号：10001006
批准年份：2000
负责人：别荣芳
学科分类：A0101
资助金额：5.50
项目类别：青年科学基金项目
4
集的最优分划及其相关问题研究
批准号：19571074
批准年份：1995
负责人：姚恩瑜
学科分类：A0405
资助金额：3.60
项目类别：面上项目