Question

什么叫研究内容

什么叫研究内容

Answer 1

在可信软件技术研究中，建立完善的可信软件的形式化理论体系将为量化、推导和验证软件系统的可信性提供理论基础，建立有效的可信软件工程方法学将为构造高可信的软件系统提供高效的开发技术，而研发功能完备的高可信软件开发和运行支撑平台将为可信软件的开发、运行、以及监测和评估提供技术支持。本实验室正在围绕什么是可信及可信软件、如何构造高可信的软件产品、以及如何度量和验证软件产品的可信等核心问题展开研究。