软件形式化方法与应用专题前言被引量：4

下载PDF

导出

摘要形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.

作者詹乃军王戟李宣东

机构地区计算机科学国家重点实验室(中国科学院软件研究所) 国防科学技术大学计算机学院计算机软件新技术国家重点实验室(南京大学)

出处《软件学报》 EI CSCD 北大核心 2016年第3期495-496,共2页 Journal of Software

关键词形式化方法高阶逻辑应用专题定理证明器程序理论数学方法研究成果代数的计算机科学保障系统

分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

同被引文献24

1张铭,耿国华,陈卫卫,胡学钢.数据结构与算法课程教学实施方案[J].中国大学教学,2011(3):56-60. 被引量：48
2邹恒明.分而治之为上策:数据结构课程的反思与变革[J].中国大学教学,2011(6):53-56. 被引量：17
3司明,龙熙华.基于工程师培养的计算机专业开放型实验教学模式研究[J].煤炭技术,2011,30(8):256-258. 被引量：1
4凌正俊.基于JBPM与JPDL的工作流管理系统的研究与设计[J].计算机技术与发展,2011,21(8):50-53. 被引量：7
5贺丽琴,张小英.工作流技术的研究与应用[J].科学之友（下）,2011(12):11-12. 被引量：4
6杨景玉,王松,孙传庆.IBS协议的形式化分析与验证[J].自动化与仪器仪表,2012(2):160-162. 被引量：2
7龚沛曾,杨志强.大学计算机基础教学中的计算思维培养[J].中国大学教学,2012(5):51-54. 被引量：241
8苏锦钿,余珊珊.抽象数据类型的双代数结构及其计算[J].计算机研究与发展,2012,49(8):1787-1803. 被引量：10
9李晓鸿,骆嘉伟,季洁.“数据结构与算法分析”研究型实践教学的探索[J].实验室研究与探索,2012,31(1):121-125. 被引量：32
10郭福春.泛在学习视阈下我国高职院校专业教学资源库的建设与思考[J].中国高教研究,2012(10):91-94. 被引量：32

引证文献4

1莫兵.二叉树算法在教学资源平台研发中的应用探讨[J].信息与电脑,2016,28(17):90-92. 被引量：1
2李福林,黄利忠.几何代数的高阶逻辑形式化研究[J].数学学习与研究,2018(6):7-7.
3司明,厍向阳,李占利,李洪安.突出计算思维训练的数据结构教学实践[J].实验室研究与探索,2018,37(5):195-201. 被引量：14
4何雪锋.基于Pi验算的信息化系统流程研究与设计[J].电脑编程技巧与维护,2018(8):106-107.

二级引证文献15

1莫兵,唐胜,唐红琴.“互联网+”助推广西农产品质量安全追溯系统发展[J].江苏农业科学,2017,45(12):157-160. 被引量：3
2任平红,陈矗.开放实验平台在数据结构课程实验教学中的应用[J].电脑知识与技术,2019,15(5Z):112-113.
3刘洞波,缪智文,张碧,何宏,孙亮.基于计算思维的数据结构课程教学改革探索与实践[J].科技资讯,2019,17(16):123-124.
4孟佳娜,李锡祚,李威,王玲芬,刘勇奎.数据结构课程实践教学平台的设计与应用[J].实验技术与管理,2019,36(7):182-184. 被引量：14
5孙亚红.面向计算思维的数据结构课程教学实践探索[J].陕西教育（高教版）,2019(10):17-18.
6杨元峰,张苏,钟卫铭.数据结构课程中计算思维能力培养的实践[J].福建电脑,2020,36(7):149-151. 被引量：1
7杨元峰,钟卫铭,张苏.面向计算思维的教学内容的碎片化设计和重构[J].科技视界,2020(27):107-109. 被引量：1
8周张兰.数据结构一体化实践教学模式探索与实践[J].计算机教育,2021(9):186-190. 被引量：5
9唐麟,张文辉.数据结构实验教学过程的改进与实践[J].计算机教育,2022(4):61-64. 被引量：6
10司国东,彭利民,张义青.认知负荷视角下的数据结构实验题库设计[J].计算机教育,2023(4):173-176. 被引量：2

1《软件学报》软件形式化方法与应用专刊征文通知[J].软件学报,2015,26(6).
2黄菁华.基于业务流程的数据库应用系统优化[J].广东科技,2012,21(5):181-182.
3周建儒.软件形式化建模方法探析[J].河北软件职业技术学院学报,2016,18(2):48-50. 被引量：1
4孙晓明.量子计算若干前沿问题综述[J].中国科学：信息科学,2016,46(8):982-1002. 被引量：10
5郑国梁,陈钟.第16届软件工程国际会议综述[J].国际学术动态,1995(1):49-53.
6张杰,饶文博,王少超,李晓娟.基于HOL4的形式化方法[J].计算机系统应用,2016,25(2):202-207.
7彭成,王盼卿.软件形式化开发方法的选择策略研究[J].电子设计工程,2014,22(15):30-32. 被引量：3
8常滔,常.一种无知识表示方式与其对应的元推理机制[J].武汉水利电力大学学报,1995,28(2):186-190. 被引量：1
9霍红卫,韩俊刚.基于高阶逻辑的硬件验证方法[J].计算机学报,1993,16(10):768-775.
10朱艳龙.软件形式化方法的研究[J].阴山学刊（自然科学版）,2004,18(2):26-27.

软件学报

2016年第3期

浏览历史

内容加载中请稍等...

软件形式化方法与应用专题前言被引量：4

同被引文献24

引证文献4

二级引证文献15

相关作者

相关机构

相关主题

浏览历史

软件形式化方法与应用专题前言 被引量：4

同被引文献24

引证文献4

二级引证文献15

相关作者

相关机构

相关主题

浏览历史

软件形式化方法与应用专题前言被引量：4