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

限定检索结果

文献类型

  • 32 篇 期刊文献
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 27 篇 工学
    • 25 篇 计算机科学与技术...
    • 1 篇 控制科学与工程
    • 1 篇 化学工程与技术
    • 1 篇 软件工程
    • 1 篇 网络空间安全
  • 3 篇 教育学
    • 2 篇 教育学
  • 2 篇 理学
    • 2 篇 数学
  • 1 篇 法学
    • 1 篇 政治学
  • 1 篇 医学
    • 1 篇 口腔医学

主题

  • 33 篇 程序设计方法学
  • 7 篇 程序变换
  • 4 篇 结构程序设计
  • 4 篇 结构化程序设计
  • 3 篇 递归程序
  • 3 篇 计算机系统
  • 2 篇 软件
  • 2 篇 计算机程序
  • 2 篇 程序正确性
  • 2 篇 非形式化
  • 2 篇 软件工程学
  • 2 篇 程序证明
  • 2 篇 程序设计
  • 2 篇 面向对象程序设计
  • 2 篇 操作系统
  • 1 篇 置信水平
  • 1 篇 地震反射法
  • 1 篇 地震勘探
  • 1 篇 研究生教学
  • 1 篇 数据库应用开发工...

机构

  • 5 篇 厦门大学
  • 4 篇 南京大学
  • 2 篇 兰州大学
  • 2 篇 汕头大学
  • 1 篇 国防科技大学
  • 1 篇 中国科学院计算技...
  • 1 篇 中国科学院计算所
  • 1 篇 吉林工学院
  • 1 篇 新疆电子计算中心
  • 1 篇 高性能计算国家重...
  • 1 篇 中国科学院软件研...
  • 1 篇 国家建材局管理干...
  • 1 篇 湖南大学
  • 1 篇 西南大学
  • 1 篇 计算机软件新技术...
  • 1 篇 华北水利水电学院
  • 1 篇 太原铁路分局太原...
  • 1 篇 河南工业大学
  • 1 篇 湖北工业大学
  • 1 篇 哈尔滨投资高等专...

作者

  • 5 篇 蔡经球
  • 2 篇 冯玉琳
  • 2 篇 仲萃豪
  • 1 篇 陈绥阳
  • 1 篇 徐德启
  • 1 篇 张克均
  • 1 篇 刘建宾
  • 1 篇 朱鸿
  • 1 篇 孙乐昌
  • 1 篇 吴国发
  • 1 篇 张正瑜
  • 1 篇 李新明
  • 1 篇 王凤林
  • 1 篇 刘柏丽
  • 1 篇 李新
  • 1 篇 陈火旺
  • 1 篇 孙云
  • 1 篇 祁润平
  • 1 篇 王戟
  • 1 篇 王金义

语言

  • 33 篇 中文
检索条件"主题词=程序设计方法学"
共 33 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
形式化方法概貌
收藏
分享
引用
软件学报 2019年 第1期30卷 33-61页
作者： 王戟 詹乃军 冯新宇 刘志明 国防科技大学计算机学院 湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所 北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系 江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院 重庆400715 西南大学软件研究与创新中心 重庆400715
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
“程序设计方法学”双层次并行教学模式探讨
收藏
分享
引用
汕头大学学报（自然科学版） 2012年 第2期27卷 63-67,80页
作者： 李新 汕头大学工学院 广东汕头515063
"程序设计方法学"的课程内容分为结构化程序设计和面向对象程序设计两大部分,两者处于不同的知识层面,前者具有严谨的数学模型和数学演绎形式,后者更多的建立在经验化的基础之上;根据课程内容的特点以及研究生阶段的学习状况,设计了一... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一类递归算法的多种计算方案及其比较
收藏
分享
引用
小型微型计算机系统 2000年 第3期21卷 253-256页
作者： 蔡经球 厦门大学计算机科学系 南京大学计算机软件新技术国家重点实验室南京210093
本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Mathem atica在横向程序变换中的应用
收藏
分享
引用
小型微型计算机系统 1999年 第10期20卷 768-772页
作者： 徐锋峰 蔡经球 厦门大学计算机科学系 厦门361005 南京大学计算机软件新技术国家重点实验室 南京210093
本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ 程序包将非尾递归的程序变换成为相应的尾递归形式，... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
对比教学在程序设计方法学中的应用
收藏
分享
引用
教育教学论坛 2012年 第1B期 106-107页
作者： 邓淼磊 刘继才 河南工业大学信息科学与工程学院 河南郑州450001
程序设计方法学是计算机专业的基础课,是一门研究程序的性质以及程序设计理论和方法的学科。主要内容包括结构化程序设计方法、面向对象的程序设计方法和大型程序设计方法、程序正确性证明等。其中结构化程序设计方法和面向对象设计方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
软件工程专业“程序设计方法学”教学探讨
收藏
分享
引用
科技信息 2010年 第15期 124-125页
作者： 史晓楠 西安科技大学计算机学院 陕西西安710054
程序设计方法学是软件工程专业的重要基础课。本文从课程教材的选取、多媒体课件制作、课堂教学设计几方面进行探讨,总结教学过程中的经验并结合学生调查的结果进行分析,结论可为未来的教学提供参考。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种证明程序正确性的方法
收藏
分享
引用
计算机应用 2001年 第z1期21卷 158-159,162页
作者： 厉海燕 李新明 装备指挥技术学院电子技术系 北京怀柔101416
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
程序设计方法学中的结构化程序设计
收藏
分享
引用
临沂师专学报 1996年 第3期30卷 62-64页
作者： 张正瑜 山东财政学院信息系
程序设计方法学中的结构化程序设计张正瑜（山东财政学院信息系，济南，２５００１４）随着计算机技术的日新月异的发展，计算机无论在容量上，还是在速度上都大大提高，从而形成了硬件费用日趋下降而软件费用急剧上升的情况．在这种情... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
程序设计方法学注记
收藏
分享
引用
小型微型计算机系统 1982年 第4期 11-15+34页
作者： 仲萃豪 冯玉琳 中国科学院计算技术研究所
一、什么是程序设计方法学 程序设计方法学(Programming methodo-logy)是七十年代程序设计的主要研究方向,它的内容涉及到程序设计活动的各个方面,根据E.T.yeh编辑的《Current trends in prog-ramming methodology》,它包括软件规定和设... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
程序正确性证明的一种方法
收藏
分享
引用
大电机技术 1998年 第3期 18-22页
作者： 王凤林 嵇琦 哈尔滨投资高等专科学校 黑龙江省第一建筑工程公司
本文形式地描述了一种证明程序能够正确地进行计算的方法。为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共4页 <<  < 1 2 3 4 >  >> 跳转到页 
回到顶部
执行限定条件