切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种面向对象程序自动化方法的研究
一种面向对象程序自动化方法的研究
来源 :软件学报 | 被引量 : 0次 | 上传用户:yeka
【摘 要】
:
构造性类型理论可作为研究程序自动化的理论基础,本文根据一种支持面向对象计算的类型理论,探讨了了面向对象程序自动化的途径,面向对象程序的程序单位是类、它是数据和一组相关
【作 者】
:
全炳哲
金淳兆
玄顺姬
【机 构】
:
吉林大学计算机系,吉林工业大学计算机系
【出 处】
:
软件学报
【发表日期】
:
1997年5期
【关键词】
:
面向对象
程序设计
程序自动化
软件自动化
Constructive type theory
objectoriented programming
auto
【基金项目】
:
国家自然科学基金,国家“九五”攻关项目,国家863高科技项目基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
构造性类型理论可作为研究程序自动化的理论基础,本文根据一种支持面向对象计算的类型理论,探讨了了面向对象程序自动化的途径,面向对象程序的程序单位是类、它是数据和一组相关的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法。
其他文献
广东省机械技师学院院长冯为远:携手世界名企创新办学模式提升人才质量培育技能精英
在刚刚结束的第44届世界技能大赛6个项目中,学院的C名选手,不畏强手,顽强拼搏,取得“2金2银1铜”的优异成绩,成为本届世赛全国参赛项目最多、选手最多、竞赛成绩最好的技工院校。学院连续两届实现双双连冠的传奇!这些成绩的取得,是学院积极创新校企合作办学模式,促进人才培养质量有效提升的结果。 学院创新校企合作办学模式的总体情况 2013年,学院成为了广东省创建全国一流技师学院三所院校之一。学院在创
期刊
合作办学模式
技师学院
技能大赛
人才质量
世界
创新
广东省
院长
大学新生的心理问题及对策思考
大学新生的心理健康教育是高校教育的一个重要内容。近年来,大学新生的心理问题比较突出,问题解决的效果也不尽如人意。文章探讨当前大学新生存在的心理问题,分析其原因,并对提高
期刊
大学新生
心理问题
对策
血府逐瘀汤临床应用举隅
血府逐瘀汤具有活血化瘀,行气止痛之功,主治胸中血瘀证。"血府"在本方是指"胸中"。后世根据《素问》:"脉者,血之府也"。凡血脉瘀阻之病证,均可守活血化瘀,行气之法以进退,仿血府逐瘀
期刊
血府逐瘀汤/治疗应用
头痛
胸痹
失眠/中医药疗法
刘平夫教授运用附子的经验
导师刘平夫教授深通医理,经验丰富,遣方用药,颇为精当,本文仅就刘平夫教授运用附子的经验,介绍如下:
期刊
附子
用法
用量
配伍
@刘平夫
求解过程中约束一致性维护的多层次策略研究
约束满足问题广泛出现于人工智能领域。在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的,过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维
期刊
约束一致性维护
约束检测
多层次原则
人工智能
Arc consistency
constraint check
multilevel principle.
浅析高职毕业生就业竞争力的提升
高等教育大众化时代高职生就业难问题目益突出,增强高职毕业生就业竞争力是解决当前就业问题的有效途径。因此,如何提升高职院校毕业生就业竞争力,已成为一个重要的理论课题和亟
期刊
高职院校
毕业生就业竞争力
提升
中医药治疗慢性胃炎遣方用药特点
辨证论治是中医药学诊疗疾病的重要特色,对于慢性胃炎的治疗应结合相关脏腑生理功能及病理变化特点来遣方用药,才能取得较好疗效。
期刊
慢性胃炎/中医药疗法
辛开苦降
辨证论治
对思想政治教育中灌输理论的探究
灌输理论作为马克思主义的重要理论,它实质上是践行长青与内容俱进的有机统一。为了更好的理解灌输理论,本文从灌输的溯源、灌输的新思考、灌输的长青动态践行、灌输内容与时
期刊
思想政治教育
灌输理论
探究
概念形成学习系统中数值属性的表示与聚类
本文在对COBWEB、CLASSIT等概念聚类系统研究的基础上,提出了一种用数值属性的聚类分划来表示数值属性的方法。这种表示的核心是基于数值属性的取值分布。对于在这种表示下数值属性聚类的相
期刊
人工智能
知识获取
机器学习
学习系统
概念形成
Embedded system
system specification
specification la
功能转换—软件维护自动化之路
软件维护的自动佛由维护工具根据维护人员提出的维护需求规范自动进行维护操作,这些维护操作种类很多,但最重要的是功能转换,功能转换涉及到功能识别,功能转换需求规范定义及功能
期刊
软件维护
软件开发
功能转换
自动化
Software maintenance
function
program understanding
functi
与本文相关的学术论文