相关性
75
当前分数
Canonical Paper
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
这是一篇规范化归档后的论文详情页，聚合了多来源命中、历史出现记录和相关推荐。
历史跨度
1
个活跃日期
归档记录
1
次归档出现
主题与标签
2
个主题词
论文概览
The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two artifacts often proceed independently, cre…
规范主键
arxiv:2606.03870
合并来源
arXiv
作者
Aren A. Babikian，Alessio Di Sandro，Federico Formica，Claudio Menghi，Marsha Chechik
分类
cs.SE
标签
方法
主题词
RAG / Alignment
首次出现
2026-06-03 14:09:56 (UTC+08:00)
最近出现
2026-06-03 14:09:56 (UTC+08:00)
覆盖跨度
1 个活跃日期 / 1 个 feed / 1 次归档出现
反馈状态
未设置
下一步
未设置
最晚处理
未设置
搁置到
未设置
复查周期
未设置
个人备注
未设置
命中原因
summary matched "program repair"；summary matched "automated program repair"；has PDF
最近行动提醒
未记录
个人反馈
把你为什么标记这篇论文、接下来准备怎么处理，直接挂在规范化详情页上。
当前还没有个人反馈，可以先用本地 feedback CLI 补上。
反馈操作
复制规范主键或本地 CLI 命令，把这篇论文快速加入个人反馈状态文件。
行动提醒状态
这里记录这篇论文最近已经触发过哪些 action reason，便于解释为什么今天没有再次提醒。
当前还没有记录过 action 提醒。
来源与外链
优先展示这篇论文在各来源上的规范化入口，再补当前摘要页和 PDF。
历史命中
按归档时间回看它在哪些 feed 中出现过，并保留当日 digest 产物入口。
2026-06-03
The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two ar…
Score 75 · summary matched "program repair"；summary matched "automated program repair"；has PDF
相关推荐
基于共享主题、标签和配置关键词做的轻量规则推荐。
Related
MOSAIC-Bench: Measuring Compositional Vulnerability Induction in Coding Agents
共享主题：RAG；共享标签：方法；共享关键词：alignment / RAG
Related
Query-Conditioned Knowledge Alignment for Reliable Cross-System Medical Reasoning
共享主题：RAG；共享标签：方法；共享关键词：alignment / RAG
Related
Diff-SBSR: Learning Multimodal Feature-Enhanced Diffusion Models for Zero-Shot Sketch-Based 3D Shape Retrieval
共享主题：Alignment；共享标签：方法；共享关键词：alignment / RAG
Related
KD-CVG: A Knowledge-Driven Approach for Creative Video Generation
共享主题：Alignment；共享标签：方法；共享关键词：alignment / RAG
Related
Weakly-Supervised Referring Video Object Segmentation through Text Supervision
共享主题：Alignment；共享标签：方法；共享关键词：alignment / RAG
Related
HDR Video Generation via Latent Alignment with Logarithmic Encoding
共享主题：Alignment；共享标签：方法；共享关键词：alignment / RAG