检索结果-维普期刊中文期刊服务平台

面向对象的程序设计方法初探被引量：1: 1; 作者徐德启赵炜杨小元《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期17-20,共4页; 面向对象程序设计是一种实用的程序设计方法学,它采用全新的方法来求解问题,其思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法,已成为90年代的热门课题,本文就面向对象的程序设计方法与传统程序设计方法做一比较... 展开更多; 关键词程序设计方法学结构程序设计面向对象程序设计分布式数据处理; 在线阅读下载PDF 职称材料

关于递归程序变换模式的设计方法被引量：1: 2; 作者蔡经球《计算机应用与软件》 CSCD 1996年第2期9-14,共6页; 本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。; 关键词程序设计方法学程序设计程序变换; 在线阅读下载PDF 职称材料

一种证明程序正确性的方法被引量：3: 3; 作者厉海燕李新明《计算机应用》 CSCD 北大核心 2001年第z1期158-159,162,共3页; 介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序。; 关键词程序证明程序正确性程序设计方法学抽象模型公理学方法; 在线阅读下载PDF 职称材料

形式化方法概貌被引量：94: 4; 作者王戟詹乃军 +1 位作者冯新宇刘志明《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页; 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 展开更多; 关键词形式化方法形式规约形式验证程序设计方法学软件开发; 在线阅读下载PDF 职称材料

Mathem atica在横向程序变换中的应用被引量：4: 5; 作者徐锋峰蔡经球《小型微型计算机系统》 EI CSCD 北大核心 1999年第10期768-772,共5页; 本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式，... 展开更多; 关键词程序设计方法学数学软件系统程序变换; 在线阅读下载PDF 职称材料

一类递归算法的多种计算方案及其比较被引量：4: 6; 作者蔡经球《小型微型计算机系统》 EI CSCD 北大核心 2000年第3期253-256,共4页; 本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案。; 关键词程序设计方法学递归算法程序变换; 在线阅读下载PDF 职称材料

计算机软件专业课程和教材建设: 7; 作者冯玉琳《研究生教育研究》 1990年第2期28-29,共2页; 1986年,我执笔编写的计算机系研究生教学和学位工程计划(共124页),经过1987—1988年的不断充实,课程设置已初步成龙配套,1985年以来,本人为计算机软件专业研究生连续开出四门新课,包括两门专业基础课:《高级操作系统》,《软件工程》; 关键词计算机软件研究生教学四门课程设置并发系统程序设计方法学玉琳工程计划北京工业大学理沦; 在线阅读下载PDF 职称材料

题名面向对象的程序设计方法初探被引量：1: 1; 作者徐德启赵炜杨小元; 机构兰州大学计算机科学系; 出处《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期17-20,共4页; 文摘面向对象程序设计是一种实用的程序设计方法学,它采用全新的方法来求解问题,其思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法,已成为90年代的热门课题,本文就面向对象的程序设计方法与传统程序设计方法做一比较,谈点看法。; 关键词程序设计方法学结构程序设计面向对象程序设计分布式数据处理; Keywords programming methodology structured programming object-oriented programming distributed data processing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名关于递归程序变换模式的设计方法被引量：1: 2; 作者蔡经球; 机构厦门大学计算机科学系; 出处《计算机应用与软件》 CSCD 1996年第2期9-14,共6页; 文摘本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。; 关键词程序设计方法学程序设计程序变换; Keywords Programming metliodlogy, automatic programming, program transformation.; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种证明程序正确性的方法被引量：3: 3; 作者厉海燕李新明; 机构装备指挥技术学院电子技术系; 出处《计算机应用》 CSCD 北大核心 2001年第z1期158-159,162,共3页; 文摘介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序。; 关键词程序证明程序正确性程序设计方法学抽象模型公理学方法; 分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名形式化方法概貌被引量：94: 4; 作者王戟詹乃军冯新宇刘志明; 机构国防科技大学计算机学院高性能计算国家重点实验室(国防科技大学) 中国科学院软件研究所天基综合信息系统重点实验室(中国科学院软件研究所) 南京大学计算机科学与技术系计算机软件新技术国家重点实验室(南京大学) 西南大学计算机与信息科学学院西南大学软件研究与创新中心; 出处《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页; 基金国家自然科学基金(61532007 61632005 +1 种基金 61672435 61732019)~~; 文摘形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.; 关键词形式化方法形式规约形式验证程序设计方法学软件开发; Keywords formal method formal specification formal verification programming methodology software development; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Mathem atica在横向程序变换中的应用被引量：4: 5; 作者徐锋峰蔡经球; 机构厦门大学计算机科学系南京大学计算机软件新技术国家重点实验室; 出处《小型微型计算机系统》 EI CSCD 北大核心 1999年第10期768-772,共5页; 基金南京大学计算机软件新技术国家重点实验室基金; 文摘本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制，在ＶＢ５．０; 关键词程序设计方法学数学软件系统程序变换; Keywords Pattern matching Rule Program transformation Abstract model tail recursion; 分类号 TP311.11 [自动化与计算机技术—计算机软件与理论] O24 [理学—计算数学]; 在线阅读下载PDF 职称材料

题名一类递归算法的多种计算方案及其比较被引量：4: 6; 作者蔡经球; 机构厦门大学计算机科学系南京大学计算机软件新技术国家重点实验室南京; 出处《小型微型计算机系统》 EI CSCD 北大核心 2000年第3期253-256,共4页; 基金南京大学计算机软件新技术国家重点实验室基金; 文摘本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案。; 关键词程序设计方法学递归算法程序变换; Keywords Programming methodology Program transtromation Recursive program; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构] TP311.11 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名计算机软件专业课程和教材建设: 7; 作者冯玉琳; 出处《研究生教育研究》 1990年第2期28-29,共2页; 文摘 1986年,我执笔编写的计算机系研究生教学和学位工程计划(共124页),经过1987—1988年的不断充实,课程设置已初步成龙配套,1985年以来,本人为计算机软件专业研究生连续开出四门新课,包括两门专业基础课:《高级操作系统》,《软件工程》; 关键词计算机软件研究生教学四门课程设置并发系统程序设计方法学玉琳工程计划北京工业大学理沦; 分类号 G4 [文化科学—教育技术学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向对象的程序设计方法初探	徐德启赵炜杨小元	《兰州大学学报（自然科学版）》 CAS CSCD 北大核心	1992	1	在线阅读下载PDF 职称材料
2	关于递归程序变换模式的设计方法	蔡经球	《计算机应用与软件》 CSCD	1996	1	在线阅读下载PDF 职称材料
3	一种证明程序正确性的方法	厉海燕李新明	《计算机应用》 CSCD 北大核心	2001	3	在线阅读下载PDF 职称材料
4	形式化方法概貌	王戟詹乃军冯新宇刘志明	《软件学报》 EI CSCD 北大核心	2019	94	在线阅读下载PDF 职称材料
5	Mathem atica在横向程序变换中的应用	徐锋峰蔡经球	《小型微型计算机系统》 EI CSCD 北大核心	1999	4	在线阅读下载PDF 职称材料
6	一类递归算法的多种计算方案及其比较	蔡经球	《小型微型计算机系统》 EI CSCD 北大核心	2000	4	在线阅读下载PDF 职称材料
7	计算机软件专业课程和教材建设	冯玉琳	《研究生教育研究》	1990	0	在线阅读下载PDF 职称材料