实体
Bertrand Meyer
Bertrand Meyer
PulseAugur coverage of Bertrand Meyer — every cluster mentioning Bertrand Meyer across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
Meyer：AI可弥合软件工程与形式化验证的差距
Bertrand Meyer 在《Communications of the ACM》上发表的观点文章探讨了人工智能在增强软件工程方面的潜力。Meyer 认为，AI 可以弥合当前开发实践与形式化验证方法之间的差距。他建议，AI 不仅可以为开发与严格验证流程的整合挑战做出贡献，还可以解决这些挑战。
-
Bertrand Meyer 讨论人工智能对软件验证的影响
Bertrand Meyer 发表了关于人工智能背景下软件验证的演讲，对人工智能在软件工程领域的现状提供了平衡的视角。他的演讲提供了令人惊讶又令人欣慰的见解，其中一些观点兼具这两者。对于那些对人工智能与软件开发交叉领域感兴趣的人来说，强烈推荐这次演讲。