Institutional Repository
| 软件形式化方法与应用专题前言 | |
| 詹乃军; 王戟; 李宣东 | |
| 2016 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 27Issue:3Pages:495-496 |
| English Abstract | 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计 、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域 的部分研究成果. |
| Indexed Type | CSCD |
| Keyword | 软件形式化方法 应用专题 前言 |
| Department | 詹乃军, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;王戟, 国防科学技术大学计算机学院, 长沙, 湖南 410073, 中国;李宣东, 南京大学, 计算机软件新技术国家重点实验室, 南京, 江苏 210023, 中国; |
| Language | 中文 |
| CSCD ID | CSCD:5651130 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/17370 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 詹乃军,王戟,李宣东. 软件形式化方法与应用专题前言[J]. 软件学报,2016,27(3):495-496. |
| APA | 詹乃军,王戟,&李宣东.(2016).软件形式化方法与应用专题前言.软件学报,27(3),495-496. |
| MLA | 詹乃军,et al."软件形式化方法与应用专题前言".软件学报 27.3(2016):495-496. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment