《软件学报》形式化方法和工具专刊征文通知

下载PDF

导出

摘要形式化方法是指有严格数学基础的软件和系统开发方法，可支持计算机系统及软件的规约、设计、验证与演化等活动。随着高可信软件的兴起，形式化方法的关注度日益提高。其作用不仅体现在人们对计算系统规律认识的深入，更体现在对计算系统开发、运行和演化的工具与平台构建的基础性支持。近年来，形式化方法也在向生物科学、物理科学等领域交叉渗透。

出处《软件学报》 EI CSCD 北大核心 2010年第6期F0004-F0004,共1页 Journal of Software

关键词形式化方法高可信软件征文通知工具计算机系统学报数学基础计算系统

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

引文网络
相关文献

1《软件学报》形式化方法和工具专刊征文通知[J].软件学报,2010,21(7).
2王戟,李宣东.形式化方法与工具专刊前言[J].软件学报,2011,22(6):1121-1122. 被引量：6
3蒋信予,郭宇,陈意云.一个关于程序时间性质的验证框架[J].计算机应用与软件,2010,27(5):6-8.
4任洪君.高可信软件工程技术[J].电子技术与软件工程,2017(4):53-53. 被引量：1
5赵爽,龙泉.软件测试概述[J].中国电子商务,2013(9):51-51.
6蔡啸.软件测试分析及测试方法分类[J].济南职业学院学报,2012(5):78-80. 被引量：3
7宁华,陈永政,张正龙.软件测试技术及工具[J].现代企业教育,2014(10):590-590. 被引量：2
8Jinchuan CHEN Yueguo CHEN Xiaoyong DU Cuiping LI Jiaheng LU Suyun ZHAO Xuan ZHOU.Big data challenge： a data management perspective[J].Frontiers of Computer Science,2013,7(2):157-164. 被引量：23
9牟连佳,牟连泳.无线传感网络及其在工业领域应用研究[J].工业控制计算机,2005,18(1):3-5. 被引量：15
10区文.美国国家安全局的信息安全研究[J].电子计算机,2001(6):57-60.

软件学报

2010年第6期

浏览历史

内容加载中请稍等...

《软件学报》形式化方法和工具专刊征文通知

相关作者

相关机构

相关主题

浏览历史