切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
利用循环不变式理解和开发程序
利用循环不变式理解和开发程序
来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:zhouyonge
【摘 要】
:
本文论述了循环不变式及其开发技术和程序设计的联系,并通过实例说明循环不变式在理解和开发程序中的巨大作用。
【作 者】
:
李云清
薛锦云
【机 构】
:
江西师范大学计算机科学系
【出 处】
:
计算机与现代化
【发表日期】
:
1996年2期
【关键词】
:
循环不变式
程序设计
循环结构
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文论述了循环不变式及其开发技术和程序设计的联系,并通过实例说明循环不变式在理解和开发程序中的巨大作用。
其他文献
多媒体应用系统的开发
详细介绍了利用VB5.0专业版或企业版中的多媒体控件开发多媒体应用系统的方法及注意事项,并给出了一个在VB5.0下开发的电业管理多媒体系统的应用实例。
期刊
控件
多媒体
应用系统
电业管理系统
一种求有向图中任意两项点之间的有向子图算法
本文给出了求有向图中任意两项之间的有向子图算法。该算法改善了求任意两顶点之 间的最短路径的时间复杂度,且有利于有向图的局部优化。
期刊
有向图
有向子图
最短路径
顶点
图论
西文直接写屏模式下的汉字处理方法
本文分析了目前比较流行的几种汉字操作系统在直接写屏方式下的工作原理以及在实际使用中存在的局限性,从而提出了在西文状态下进行汉字显示以解决其局限性的方法,并给出了程序
期刊
直接写屏
汉字字模点阵
时钟中断
一种基于模态再现的工程设计类专家系统
本文基于现代工程设计类专家系统的各种特征,抽象出这类系统的框架模型,并通过机电类实际设计课题的应用与再现,引伸出开发设计类专家系统面向实际的新课题。
期刊
专家系统
人工智能
工程设计
模态再现
计算机多媒体技术在电视设备中的应用和发展
本文介绍了计算机多媒体在电视设备中的应用和发展情况,着重介绍了计算机多媒体在电视制作,编辑,播出等几个环节中的应用,并讨论了视频多媒体电视设备将来的发展趋势。
期刊
视频多媒体
非线性编辑
线性编辑
电视设备
浅谈优化微型计算机运行环境
基于实践,从用户角度介绍了优化躲开机运行环境的几个基本方法;对影响微机系统性能的几个方面作了简单分析,并给出了用户设置优化环境的具体作法。
期刊
微机
运行环境
优化
虚拟存储器
用Delphi实现通用数据库管理系统
本文论述了利用Delphi开发工具设计通用数据库管理系统的方法,并介绍了一个通用人事数据库管理系统的实例。
期刊
数据库管理系统
组件
数据库
完整性
综合布线工程中应注意的几个问题
综合布线技术,无论是在新开工建筑的施工中,还是在已建成大楼的改造中,得到了越来越广泛的应用,本文结合实际工作中遇到的情况,提出综合布线工程中应注意的几个问题及其应对措施
期刊
综合布线工程
电缆链路
双绞线
高层建筑
CAI课件开发的软件技术与方法
本文探讨了CAI课件开发中的软件技术与方法.并就图象技术、中文处理技术等问题进行了重点讨论。
期刊
CAI
课件开发
教学软件
Windows95怎样实现长文件名
本文介绍了Windows95实现长文件名的原理,并指出其不足及对策。
期刊
长文件名
目录项
WINDOWS
文件系统
与本文相关的学术论文