实体
Software Systems Research Group
Software Systems Research Group
PulseAugur coverage of Software Systems Research Group — every cluster mentioning Software Systems Research Group across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的EPIK方法增强了用于软件验证的贝叶斯学习
研究人员开发了EPIK，一种将贝叶斯学习与定量验证相结合的新方法，用于分析软件系统的可靠性和响应时间等属性。EPIK通过提取和嵌入直接可观察且具有语义意义的系统级属性来解决先验知识不准确或信息不足的挑战，而不是依赖于形式化模型的转移参数。实验评估证明了EPIK在各种真实案例研究中的有效性、灵活性和通用性。
-
AI代理因缺乏深度理解而无法维护软件系统
一篇文章认为，当前的AI代理在维护或演进复杂的软件系统方面存在根本性的不足。作者提出，这些代理缺乏执行此类任务所需的对系统上下文、历史演变和涌现属性的深度理解。相反，它们仅限于执行预定义的指令或进行表面上的更改，而无法执行真正的软件维护。