Bertrand Meyer 在《Communications of the ACM》上发表的观点文章探讨了人工智能在增强软件工程方面的潜力。Meyer 认为，AI 可以弥合当前开发实践与形式化验证方法之间的差距。他建议，AI 不仅可以为开发与严格验证流程的整合挑战做出贡献，还可以解决这些挑战。 AI
影响 建议AI可以通过与形式化验证方法相结合来改进软件开发。
排序理由 技术主题的署名作者的观点文章。
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →