高可信软件

作品数：24被引量：172H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈意云王戟卢凯张英李根更多>>
相关机构：中国科学技术大学国防科学技术大学南京大学电子科技大学更多>>
相关期刊：《魅力中国》《中国科学技术大学学报》《工业控制计算机》《计算机工程与设计》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划霍英东青年教师基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML模型的用户界面自动生成
《计算机工程与设计》2025年第4期1208-1218,共11页董泽华 蒋建民 李朝江 何清 马国栋 
科技部重点研发计划基金项目(2022YFB3305101);国家自然科学基金项目(61772004);成都信息工程大学人才科研基金项目(KYTZ202009)。
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法...
关键词：UML模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件 
梅宏与《中国科学》的故事:二十五年的陪伴
《科学通报》2021年第2期137-140,共4页宋扉 
梅宏,中国科学院院士,发展中国家科学院院士,欧洲科学院外籍院士,高可信软件技术教育部重点实验室(北京大学)主任,曾任北京大学信息科学技术学院院长,上海交通大学副校长,北京理工大学副校长、常务副校长等职.主要从事软件工程和系统软...
关键词：软件工程 中国科学院院士 北京理工大学 上海交通大学 《中国科学》 信息科学 高可信软件 副校长 
论高可信软件工程技术
《电子技术与软件工程》2017年第13期59-59,共1页张文瑞 
随着社会不断的发展和进步,整个软件发展在信息系统中处于一个中心地位,越来越多的人把重点关注在如何在一个更加安全和稳定的环境中去操作,从而让整个系统变得可靠。高端的软件不仅能够为人们的日常生活带来便利,还能够让整体软件的质...
关键词：高可信软件 工程技术 软件应用 
高可信软件工程技术被引量：1
《电子技术与软件工程》2017年第4期53-53,共1页任洪君 
随着科技时代的不断推进,我国软件行业的发展起到了更加的作用。人们对于软件的要求在不断的提升,比如软件的可靠性、安全性和保密性等可信性质都是人们关注的重点。本文主要对高可信软件工程技术的发展现状以及发展过程中所要面对的困...
关键词：软件开发 高可信软件 可靠性技术 
谈高可信软件工程技术
《中国科技期刊数据库 工业C》2016年第6期00228-00228,共1页陈雪 
随着计算机应用的不断发展,软件已渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用。一方面,软件为人们提供了新的生活和工作方式,软件成为信息基础设施。例如网上银行、电子商务等,离开了软件,这些应用恐怕不会...
关键词：软件工程 软件可信性 软件保证 
针对NAND闪存硬件的形式化建模被引量：4
《计算机工程》2015年第11期94-99,共6页杨龙婴 郭宇 
国家自然科学基金青年基金资助项目(61202052;61103023);国家自然科学基金海外及港澳学者合作研究基金资助项目(61229201)
为形式化地验证存储系统中软件的可靠性,引入NAND闪存硬件的形式化模型定义。根据NAND闪存接口标准ONFI,采用形式化语言对NAND闪存硬件的语义进行建模,包括ONFI定义的NAND闪存硬件的存储层次结构、闪存硬件芯片处理命令的内部工作流程...
关键词：形式化验证 Coq证明工具 闪存设备 形式化建模 高可信软件 存储系统 
面向安全关键领域的高可信软件设计方法
《中国电子商情（通信市场）》2013年第6期161-167,共7页姜敏 马庆甜 
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构决定的.首先介绍了软件框架技术,它能有效实现大粒度软件复用...
关键词：安全关键软件 高可信 复用 软件体系结构 模型驱动 
高可信软件工程技术
《魅力中国》2013年第10期99-99,共1页齐彦杰 
现阶段，随着软件在我国信息社会中发挥的作用越来越重要，软件的使用者对软件保密安全性、软件可靠性以及可靠安全性等有关可信性质的要求越来越高。文章研究分析高可信软件工程技术面临的主要挑战以及现状，提出了基于彤式化方式中的...
关键词：高可信软件工程 软件保证 分析研究 
形式化方法与工具专刊前言被引量：6
《软件学报》2011年第6期1121-1122,共2页王戟 李宣东 
形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持...
关键词：形式化方法 工具 高可信软件 计算机系统 计算系统 数学基础 研究成果 开发 
开放环境特性感知技术被引量：6
《软件学报》2011年第5期865-876,共12页黄宇 余建平 马晓星 陶先平 吕建 
国家自然科学基金(60903024;60736015;60721002);国家重点基础研究发展计划(973)(2009CB320702);江苏省攀登计划(BK2008017)
提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通...
关键词：谓词检测 环境特性 高可信软件 开放环境 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部