Title: | 软件形式化方法与应用专题前言 |
Author: | 詹乃军
; 王戟
; 李宣东
|
Keyword: | 软件形式化方法
; 应用专题
; 前言
|
Source: | 软件学报
|
Issued Date: | 2016
|
Volume: | 27, Issue:3, Pages:495-496 | Indexed Type: | CSCD
|
Department: | 詹乃军, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;王戟, 国防科学技术大学计算机学院, 长沙, 湖南 410073, 中国;李宣东, 南京大学, 计算机软件新技术国家重点实验室, 南京, 江苏 210023, 中国;
|
Abstract: | 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计 、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域 的部分研究成果. |
Language: | 中文
|
Citation statistics: |
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/17370
|
Appears in Collections: | 软件所图书馆_期刊论文
|
There are no files associated with this item.
|
Recommended Citation: |
詹乃军,王戟,李宣东. 软件形式化方法与应用专题前言[J]. 软件学报,2016-01-01,27(3):495-496.
|
|
|