程序规范到程序生成的面向对象理论及实现方法
基本信息
批准号：69433032
项目类别：重点项目
资助金额：20.00
负责人：冯玉琳
学科分类：
依托单位：中国科学院软件研究所
批准年份：1994
结题年份：1997
起止时间：1995-01-01 - 1997-12-31
项目状态： 已结题
项目参与者：
关键词：
软件构造成语义模型模型检查
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
2
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
3
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
4
基于细粒度词表示的命名实体识别研究
基于细粒度词表示的命名实体识别研究
DOI：10.3969/j.issn.1003-0077.2018.11.009
发表时间：2018
5
货币政策与汇率制度对国际收支的影响研究
货币政策与汇率制度对国际收支的影响研究
DOI：
发表时间：2022
冯玉琳的其他基金
批准号：69173316
批准年份：1991
资助金额：4.00
项目类别：面上项目
批准号：68675004
批准年份：1986
资助金额：2.00
项目类别：面上项目
批准号：69833030
批准年份：1998
资助金额：100.00
项目类别：重点项目
批准号：68873005
批准年份：1988
资助金额：3.00
项目类别：面上项目
批准号：60673123
批准年份：2006
资助金额：26.00
项目类别：面上项目
相似国自然基金
1
面向对象程序的形式化规范与验证
批准号：61100061
批准年份：2011
负责人：王淑灵
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
2
通用Java程序到实时Java程序的对象自动分类和转化方法研究
批准号：61272166
批准年份：2012
负责人：史晓华
学科分类：F0203
资助金额：81.00
项目类别：面上项目
3
面向网络规范的演化程序开发理论与方法
批准号：61370219
批准年份：2013
负责人：李廉
学科分类：F0207
资助金额：73.00
项目类别：面上项目
4
面向对象程序的分离逻辑理论基础
批准号：61272160
批准年份：2012
负责人：裘宗燕
学科分类：F0203
资助金额：80.00
项目类别：面上项目