搜索
首页 电脑/网络 软件

华东师范大学软件学院有哪些主要研究项目?

华东师范大学软件学院有哪些主要研究项目?

全部回答

2017-03-01

56 0

具体体现在:将现有的计算基础理论进行整合,使之成为可信计算的基础理论,包括程序统一理论、高可信计算的总体架构与形式化方法和可信计算算法理论与复杂性理论;在建立可信计算的基础理论基础上,构建可信软件的构造平台,包括软件可信度量工具与方法、面向语言的可信计算模型与开发平台以及程序终止验证器与程序证明工具

类似问题换一批

热点推荐

热度TOP

相关推荐
加载中...

热点搜索 换一换

电脑/网络
软件
程序设计
电脑装机
操作系统/系统故障
硬件
笔记本电脑
百度
互联网
反病毒
软件
软件
多媒体软件
系统软件
办公软件
网络软件
图像处理软件
举报
举报原因(必选):
取消确定举报