咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 9 篇 期刊文献

馆藏范围

  • 9 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 8 篇 工学
    • 8 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 1 篇 控制科学与工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 9 篇 程序证明
  • 4 篇 程序正确性
  • 2 篇 程序设计方法学
  • 1 篇 分解
  • 1 篇 谓词逻辑
  • 1 篇 程序终止性
  • 1 篇 抽象程序
  • 1 篇 精化
  • 1 篇 hoare
  • 1 篇 维也纳分析方法
  • 1 篇 程序设计
  • 1 篇 形式化方法
  • 1 篇 人工智能
  • 1 篇 一致性
  • 1 篇 抽象数据类型
  • 1 篇 良序集
  • 1 篇 软件开发方法
  • 1 篇 数据结构化程秩设...
  • 1 篇 公理学方法
  • 1 篇 计算机

机构

  • 1 篇 宁夏大学
  • 1 篇 计算机软件新技术...
  • 1 篇 华中师范大学
  • 1 篇 北京联合大学
  • 1 篇 哈尔滨投资高等专...
  • 1 篇 山东理工大学
  • 1 篇 南昌大学
  • 1 篇 江西省机械职工大...
  • 1 篇 武汉大学
  • 1 篇 装备指挥技术学院

作者

  • 1 篇 杨锦云
  • 1 篇 汤震浩
  • 1 篇 曹重华
  • 1 篇 李卫华
  • 1 篇 黄万徽
  • 1 篇 李新明
  • 1 篇 王凤林
  • 1 篇 赵建华
  • 1 篇 厉海燕
  • 1 篇 刘秋香
  • 1 篇 王家伟
  • 1 篇 嵇琦
  • 1 篇 孙守卿
  • 1 篇 李彬
  • 1 篇 丁志义
  • 1 篇 彭瑞峰
  • 1 篇 刘娟
  • 1 篇 苏晶
  • 1 篇 白似雪
  • 1 篇 石自力

语言

  • 9 篇 中文
检索条件"主题词=程序证明"
共 9 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
通过抽象程序证明复杂具体程序
收藏
分享
引用
软件学报 2017年 第4期28卷 786-803页
作者： 李彬 汤震浩 翟娟 赵建华 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种证明程序正确性的方法
收藏
分享
引用
计算机应用 2001年 第z1期21卷 158-159,162页
作者： 厉海燕 李新明 装备指挥技术学院电子技术系 北京怀柔101416
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
程序正确性证明的一种方法
收藏
分享
引用
大电机技术 1998年 第3期 18-22页
作者： 王凤林 嵇琦 哈尔滨投资高等专科学校 黑龙江省第一建筑工程公司
本文形式地描述了一种证明程序能够正确地进行计算的方法。为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
谓词逻辑在程序正确性证明中的应用
收藏
分享
引用
高等函授学报（自然科学版） 1997年 第6期10卷 48-53页
作者： 黄万徽 华中师范大学计算机科学系
现代计算机中的程序规模越来越大，复杂程度越来越高，如何保证程序的正确性也就越来越重要。一般认为程序的正确性可通过程序调试而获得保证，其实不然。调试可以发现程序的错误，但不能保证程序正确，因为在调试时只能选取有限次初值... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于良序集方法的程序终止性证明
收藏
分享
引用
软件导刊 2009年 第6期8卷 33-35页
作者： 彭瑞峰 丁志义 王家伟 宁夏大学数学计算机学院 宁夏银川750021
在介绍程序正确性的定义和良序集的概念基础上,对良序集证明程序终止性思路和步骤进行了分析,利用实例来证明程序的终止性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
不用数组和指针的数据结构化程序设计
收藏
分享
引用
北京联合大学学报 1988年 第2期 27-37页
作者： 鲍泓 王启智 北京联合大学电子工程学院
不用数组和指针的数据结构化程序设计是IBM公司软件工程专家H·D·Mills和R·C·Linger于1986年2月发表的《数据结构化程序设计:不用数组和指针的程序设计》一文中提出的关于结构化程序设计的新观点。这一观点的提出反映了数据结构程序... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
归纳法推理系统
收藏
分享
引用
计算机学报 1996年 第3期19卷 230-236页
作者： 李卫华 张黔 刘娟 石自力 武汉大学计算机科学系
本文介绍了基于微机的归纳法推理系统．用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的正确性等．文中简介了系统的理论... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
维也纳分析方法及其应用
收藏
分享
引用
南昌大学学报（理科版） 2005年 第1期29卷 99-102页
作者： 曹重华 白似雪 杨锦云 南昌大学计算机系 江西南昌330029 江西省机械职工大学 江西南昌330000
介绍了软件开发方法中的一种形式化分析方法:ViennaDevelopmentMethod(VDM)。阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明。... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
中外合作办学形式下《计算机科学》课程教学实践与探索
收藏
分享
引用
科技视界 2017年 第16期 1-2页
作者： 孙守卿 刘秋香 苏晶 山东理工大学计算机科学与技术学院 山东淄博255049
《计算机科学》(Computer Science)课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂教学,针对中外合作办学生源的具体情况,在实际的教学过程中对原有的教学模式和教学内容作了调整,明确... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件