算法程序形式化开发研究

薛锦云

首页> 中文期刊> 《云南大学学报：自然科学版》 >算法程序形式化开发研究

算法程序形式化开发研究

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

从哲学理论和算法程序开发实践两方面阐述了以演绎推理为基础的算法程序形式化开发的作用和固有局限性，指出排斥算法程序形式化和对形式化方法寄予不切实际的希望都是错误的，主张努力探索算法程序开发的科学基础，使开发中尽可能多的创造性劳动，转变为非创造性劳动，才能达到算法程序开发形式化，进而实现自动化的宏伟目标．最后以实例说明了我们提出的算法程序设计和证明的分划递推法为基础，进行算法程序形式化开发的可能性．

著录项

来源
《云南大学学报：自然科学版》 |1997年第s2期|23-28|共6页
作者
薛锦云;
展开▼
作者单位

江西师范大学计算机软件研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
算法程序开发方法; 演绎推理; 创造性劳动; 科学基础; 形式化方法;

相似文献

中文文献
外文文献
专利

1. 若干算法程序的形式化推导与生成技术研究 [J] . 胡启敏 ,薛锦云 . 计算机研究与发展 . 2008,第z1期
2. 网络并行程序开发平台体系结构形式化研究 [J] . 李代平 ,罗寿文 ,张信一 . 计算机工程与应用 . 2004,第26期
3. 并行程序开发平台体系结构的形式化研究 [J] . 李代平 ,罗寿文 ,张信一 . 计算机应用研究 . 2004,第12期
4. 高中信息技术“算法”模块的项目式学习实践研究——以“中秋博饼程序开发”项目为例 [J] . 陈永顺 . 中国信息技术教育 . 2023,第8期
5. 海上油气设施七氟丙烷灭火系统组合分配算法研究及程序开发 [J] . 孙晓东 . 信息记录材料 . 2020,第6期
6. 若干算法程序的形式化推导与生成技术研究 [C] . 胡启敏 ,薛锦云 . 2007全国理论计算机科学学术年会 . 2007
7. 机载平显视频字符处理算法研究及驱动程序开发 [A] . 沈梦杰 . 2015

算法程序形式化开发研究

摘要

著录项

相似文献

相关主题

期刊订阅