| 软件形式化方法与应用专题前言 |
| 詹乃军; 王戟; 李宣东
|
| 2016
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 27期号:3页码:495-496 |
| 摘要 | 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计 、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域 的部分研究成果. |
| 收录类别 | CSCD
|
| 关键词 | 软件形式化方法
应用专题
前言
|
| 部门归属 | 詹乃军, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;王戟, 国防科学技术大学计算机学院, 长沙, 湖南 410073, 中国;李宣东, 南京大学, 计算机软件新技术国家重点实验室, 南京, 江苏 210023, 中国;
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:5651130
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/17370
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
詹乃军,王戟,李宣东. 软件形式化方法与应用专题前言[J]. 软件学报,2016,27(3):495-496.
|
| APA |
詹乃军,王戟,&李宣东.(2016).软件形式化方法与应用专题前言.软件学报,27(3),495-496.
|
| MLA |
詹乃军,et al."软件形式化方法与应用专题前言".软件学报 27.3(2016):495-496.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论