PulseAugur
中
实时 20:07:26
实体 Communications of the ACM

Communications of the ACM

PulseAugur coverage of Communications of the ACM — every cluster mentioning Communications of the ACM across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. COMMENTARY · CL_85922 ·

    Meyer：AI可弥合软件工程与形式化验证的差距

    Bertrand Meyer 在《Communications of the ACM》上发表的观点文章探讨了人工智能在增强软件工程方面的潜力。Meyer 认为，AI 可以弥合当前开发实践与形式化验证方法之间的差距。他建议，AI 不仅可以为开发与严格验证流程的整合挑战做出贡献，还可以解决这些挑战。