软件系统

作品数：7495被引量：11930H指数：30
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：梅宏杨午阳金芝吴宜灿刘斌更多>>
相关机构：电子科技大学中国科学院清华大学华中科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化方法与应用专题前言
《软件学报》2024年第9期4011-4012,共2页曹钦翔 宋富 詹乃军 
随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、...
关键词：形式化方法 软件系统 模型检验 运算速度 定理证明 体系结构 应用专题 理论与方法论 
面向复杂软件的缺陷检测与修复技术专题前言
《软件学报》2024年第7期3069-3070,共2页张路 刘辉 姜佳君 王博 
在软件定义一切的信息时代,软件已经成为人们生产和生活的基石.由于软件系统规模不断扩大,应用环境越来越复杂,程序员在开发过程中难以避免引入软件缺陷.软件缺陷可能会引发不可预期的后果,甚至危及人们的生命财产安全.因此,及时且准确...
关键词：软件缺陷 信息系统 软件定义 软件系统 应用环境 生命财产安全 修复缺陷 检测与修复 
基于GoGCN的软件系统类交互关系预测
《软件学报》2023年第11期5029-5041,共13页何鹏 卫操 吕晟凯 曾诚 李兵 
国家自然科学基金(62102136,61902114,61977021);湖北省重点研发项目(2021BAA184,2021BAA188);湖北省科技创新计划(2019ACA144,2020AEA008)。
软件系统是一个复杂的人工制品,类之间的交互关系对软件质量有着潜在影响,如软件缺陷的级联传播效应就是一个典型.如何准确预测软件系统中类之间合理关系,优化设计结构是软件质量保障的一个开放问题.从软件网络观的视角,综合考虑软件系...
关键词：软件网络 图中图 图神经网络 链路预测 软件质量 
AI软件系统工程化技术与规范专题前言
《软件学报》2023年第9期3939-3940,共2页张贺 夏鑫 蒋振鸣 祝立明 李宣东 
近年来,人工智能产业的热度逐步提升,市场规模持续扩大,全球各行各业的组织机构都正在或试图通过人工智能对原有的产品和服务赋予新的能力.最先进的人工智能系统正在迅速从实验室环境迁移到工业环境,并主要以软件为承载形式渗透到社会...
关键词：人工智能系统 软件系统 人工智能技术 软件工程师 更新速度 训练数据 专业协作 基础设施 
形式化方法与应用专题前言
《软件学报》2023年第7期2979-2980,共2页董云卫 刘关俊 毛晓光 
形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码...
关键词：形式化方法 计算机硬件 计算机系统 复杂动态系统 协议验证 区块链 软件系统 深度学习 
面向分布式图计算作业的容错技术研究综述被引量：4
《软件学报》2021年第7期2078-2102,共25页张程博 李影 贾统 
广东省重点领域研发计划(2020B010164003)。
随着图数据规模的日益庞大和图计算作业的日益复杂,图计算的分布化成为必然趋势.然而图计算作业在运行过程中面临着分布式图计算系统内外各种来源的非确定性所带来的严峻的可靠性问题.首先分析了分布式图计算框架中不确定性因素和不同...
关键词：图数据 故障和失效 分布式图计算 容错机制 非确定性软件系统 
复杂软件系统的不确定性被引量：5
《软件学报》2021年第7期1926-1956,共31页檀超 张静宣 王铁鑫 岳涛 
国家自然科学基金(61872182)。
复杂软件系统(如信息物理系统CPS、物联网IoT以及自适应软件系统等)在其开发和运行过程中会遇到各种类型的不确定性问题.针对这些不确定性问题,研究人员开展了大量的研究工作,提出了一系列的方法,取得了诸多成果.然而,由于此类系统本身...
关键词：不确定性 系统研究 信息物理系统 物联网 
一种基于分层适应逻辑的自适应系统实现框架被引量：3
《软件学报》2021年第7期1957-1977,共21页李念语 陈正胤 刘坤 焦文品 
国家重点基础研究发展计划(973)(2016YFB000105,2015CB352200);国家自然科学基金(61620106007)。
自适应系统由于其能够自主地适应具有非确定性的部署环境,并持续地保持用户的满意度,受到了广泛的关注.然而,目前仍然存在未解决的挑战,例如如何在新的部署环境下,或者在开放且复杂的环境下,使得系统仍然能满足自适应性.因此,为自适应...
关键词：自适应软件系统 归因理论 可复用性 环境非确定性 
面向领域的软件系统构造与质量保障专题前言
《软件学报》2021年第4期887-888,共2页潘敏学 魏峻 崔展齐 
软件是推动新一代信息技术发展的驱动力.随着互联网、云计算、人工智能等技术的快速发展,软件与物联网、区块链、自动驾驶等众多领域的融合进一步加强,正引领并促进这些领域向数字化、智能化发展,为社会、经济的加速演进和创新发展带来...
关键词：软件技术 面向领域 人工智能 区块链 云计算 物联网 软件系统 质量保障 
机器学习赋能的软件自适应性综述被引量：9
《软件学报》2020年第8期2404-2431,共28页张明悦 金芝 赵海燕 罗懿行 
国家自然科学基金(61620106007,61751210)。
软件系统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件系统自适应性的相关研究中,有一类工作将软件系统自适应性转换为回归、分类、聚类、决策等问题,并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概...
关键词：自适应软件系统 软件自适应性 机器学习 需求不确定性 环境动态性 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部