程序开发方法

作品数：21被引量：69H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陆斌万建成段雷王炼郑艳梅更多>>
相关机构：深圳市腾讯计算机系统有限公司松下电器产业株式会社江西师范大学华南理工大学更多>>
相关期刊：《计算机研究与发展》《软件学报》《计算机应用》《计算机技术与发展》更多>>
相关基金：国家自然科学基金河北省科技攻关计划广东省自然科学基金国家攀登计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于程序正确性证明理论的程序开发方法被引量：2
《计算机应用研究》2001年第2期11-13,共3页杨庆红 李云清 
国家自然科学基金资助项目(69783006和69983003)
程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。
关键词：程序的形式推导方法 程序规范 循环不变式 
Digital UNIX国际通用程序开发方法被引量：1
《计算机应用研究》1998年第1期66-68,共3页胡迎松 
本文介绍了ＤｉｇｉｔａｌＵＮＩＸ环境下的国际通用化系统模型和通用化程序的概念结构，讨论了开发国际通用化程序遇到的问题及解决办法，对其它操作系统平台软件开发具有参考意义。
关键词：UNIX 国际通用化 软件开发 操作系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部