|
|||||
|
|
| 软件形式化方法与应用专题前言 | |
| 引用本文： | 詹乃军,王戟,李宣东.软件形式化方法与应用专题前言[J].软件学报,2016,27(3):495-496. |
| 作者姓名： | 詹乃军 王戟 李宣东 |
| 作者单位： | 中国科学院软件研究所 计算机科学国家重点实验室,北京 100190,国防科技大大学 计算机学院,湖南 长沙 410073,南京大学 计算机软件新技术国家重点实验室,江苏 南京 210046 |
| 摘 要： | 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专刊收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果. |
| 收稿时间： | 2015/12/21 0:00:00 |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |