软件形式化方法与应用专题前言
文献类型：期刊论文
| 作者 | 詹乃军 ; 王戟 ; 李宣东 |
| 刊名 | 软件学报
 |
| 出版日期 | 2016 |
| 卷号 | 27期号:3页码:495-496 |
| 关键词 | 软件形式化方法 应用专题 前言 |
| ISSN号 | 1000-9825 |
| 中文摘要 | 形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计 、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域 的部分研究成果. |
| 收录类别 | CSCD |
| 语种 | 中文 |
| CSCD记录号 | CSCD:5651130 |
| 公开日期 | 2016-12-09 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。