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

田聪; 邓玉欣; 姜宇

首页> 中文期刊> 《软件学报》 >形式化方法与应用专题前言

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功能也更加复杂,如何开发可靠的软、硬件系统,是计算机科学发展面临的巨大挑战.特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制系统、医疗设备控制系统等等,这些系统中的错误可能导致灾难性后果.

著录项

来源
《软件学报》 |2021年第6期|1579-1580|共2页
作者
田聪; 邓玉欣; 姜宇;
展开▼
作者单位

西安电子科技大学计算机学院陕西西安 710071;

华东师范大学软件学院上海 200062;

清华大学软件学院北京 100084;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词

相似文献

中文文献
外文文献
专利

1. 软件形式化方法与应用专题前言 [J] . 詹乃军 ,王戟 ,李宣东 . 软件学报 . 2016,第3期
2. 面向新兴系统的形式化建模与验证方法专题前言 [J] . 陈振邦 ,冯新宇 ,刘志明 . 软件学报 . 2020,第8期
3. 形式化方法的理论基础专题前言 [J] . 傅育熙 ,李国强 ,田聪 . 软件学报 . 2018,第6期
4. 软件形式化验证专题前言 [J] . 贺飞 ,张立军 . 软件学报 . 2019,第7期
5. 形式化方法与工具专刊前言 [J] . 王戟 ,李宣东 . 软件学报 . 2011,第006期
6. “应用MBR工艺的污水处理项目”专题调查报告前言 [C] . 傅涛 . 2011（第九届）城市水业战略论坛 . 2011
7. 形式化方法在自动代码生成中的研究与应用 [A] . 陈金凤 . 2019

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

摘要

著录项

相似文献

相关主题

期刊订阅