软件形式化方法与应用专题前言

doi:10.13328/j.cnki.jos.004990

微信服务号

微信订阅号

首页 > 过刊浏览>2016年第27卷第3期 >495-496. DOI:10.13328/j.cnki.jos.004990

PDF HTML阅读 XML下载导出引用引用提醒

软件形式化方法与应用专题前言
DOI:
                        10.13328/j.cnki.jos.004990
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专刊收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.

Abstract:

参考文献

相似文献

引证文献

引用本文

詹乃军,王戟,李宣东.软件形式化方法与应用专题前言.软件学报,2016,27(3):495-496

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2015-12-21
最后修改日期:
录用日期:
在线发布日期: 2016-01-06
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码