分划递推法应用于高可靠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
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
2
基于速变LOS的无人船反步自适应路径跟踪控制
基于速变LOS的无人船反步自适应路径跟踪控制
DOI：10.19693/j.issn.1673-3185.01377
发表时间：2019
3
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
4
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
DOI：10.16509/j.georeview.2021.02.010
发表时间：2021
5
多层采空积水区瞬变电磁响应研究
多层采空积水区瞬变电磁响应研究
DOI：10.3969/j.issn.1674-1803.2017.04.15
发表时间：2017
薛锦云的其他基金
批准号：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
项目类别：面上项目