基于类型理论的面向对象程序自动化
基本信息
批准号：69473028
项目类别：面上项目
资助金额：7.00
负责人：金淳兆
学科分类：
依托单位：吉林大学
批准年份：1994
结题年份：1997
起止时间：1995-01-01 - 1997-12-31
项目状态： 已结题
项目参与者：全炳哲,余江,金成柏
关键词：
类型理论自动程序设计定理证明
结项摘要
软件工程的重要目标之一是实现软件开发的自动化。为此，我们以构造性类型理论为基础，深入地探讨了面向对象方法的基本机制及面向对象程序的构造方法，并取得了如下成果：1、以Mrtin-Luf的构造性类型理论为基础，建立了支持面向对象程序设计的一种类型理论TTOOP。2、以TTOOP为基础，设计了一种面向对象软件形式规约语言OOSL。3、以TTOOP为基础，提出了以规程为单位，自顶向下、逐步求精的程序设计方法。4、设计实现了两个面对象软件自动化实验系统DTPS和JDAUTO/O。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
地震作用下岩羊村滑坡稳定性与失稳机制研究
地震作用下岩羊村滑坡稳定性与失稳机制研究
DOI：10.16285/j.rsm.2019.1374
发表时间：2020
2
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
DOI：10.13249/j.cnki.sgs.2020.08.003
发表时间：2020
3
采用深度学习的铣刀磨损状态预测模型
采用深度学习的铣刀磨损状态预测模型
DOI：10.3969/j.issn.1004-132x.2020.17.009
发表时间：2020
4
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
DOI：10.11887/j.cn.202101019
发表时间：2021
5
热塑性复合材料机器人铺放系统设计及工艺优化研究
热塑性复合材料机器人铺放系统设计及工艺优化研究
DOI：10.3901/jme.2021.23.209
发表时间：2021
金淳兆的其他基金
批准号：69773044
批准年份：1997
资助金额：12.00
项目类别：面上项目
批准号：68673033
批准年份：1986
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
程序规范到程序生成的面向对象理论及实现方法
批准号：69433032
批准年份：1994
负责人：冯玉琳
学科分类：F02
资助金额：20.00
项目类别：重点项目
2
面向对象程序的分离逻辑理论基础
批准号：61272160
批准年份：2012
负责人：裘宗燕
学科分类：F0203
资助金额：80.00
项目类别：面上项目
3
面向对象软件测试的自动化研究
批准号：60073027
批准年份：2000
负责人：叶澄清
学科分类：F0203
资助金额：15.00
项目类别：面上项目
4
面向对象程序的形式化规范与验证
批准号：61100061
批准年份：2011
负责人：王淑灵
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目