微信服务号
微信订阅号
- 摘要 | |
- 访问统计 | |
- 相似文献 [20] | | |
- 文章评论
摘要:
形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专刊收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.
引用本文
詹乃军,王戟,李宣东.软件形式化方法与应用专题前言.软件学报,2016,27(3):495-496
复制
文章指标
- 点击次数:4819
- 下载次数: 7003
- HTML阅读次数: 2166
历史
- 收稿日期:2015-12-21
- 在线发布日期: 2016-01-06
文章二维码
您是第19732503位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
