软件形式化方法与应用专题前言

詹乃军; 王戟; 李宣东

引用本文:	詹乃军,王戟,李宣东.软件形式化方法与应用专题前言.软件学报,2016,27(3):495-496

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 5413次下载 8681次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
软件形式化方法与应用专题前言
詹乃军¹, 王戟², 李宣东³
1.计算机科学国家重点实验室(中国科学院软件研究所), 北京 100190;2.国防科学技术大学计算机学院, 湖南长沙 410073;3.计算机软件新技术国家重点实验室(南京大学), 江苏南京 210023

摘要:

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

关键词:

DOI：10.13328/j.cnki.jos.004990

分类号:

基金项目:

Abstract:

Key words:

引用本文: