软件形式化方法与应用专题前言 | |
詹乃军 ; 王戟 ; 李宣东 | |
刊名 | 软件学报
![]() |
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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论