Bertrand Meyer

mentions 2 type Person feed RSS

// recent coverage 2 mentions

15:09

2026-07-28

bertrandmeyer.com

artificial-intelligence

Questions and answers on AI and verification: follow-up to my May ACM Tech Talk

Bertrand Meyer, author of 'AI for Smarties,' is answering unanswered questions from his May 7 ACM Tech Talk on software verification and AI, covering ethics of generative AI, safety of AI-written code…

21:50

2026-07-21

dev.to

artificial-intelligence

AI Didn't Kill Software Engineering. It Made It More Valuable Than Ever.

Generative AI has made writing code nearly free, shifting software engineering's value from code production to clarity, specifications, architecture, and code review. Developer Kodel introduces Spec D…

// co-occurs with top 8 entities

Kodel 1 Martin Fowler 1 Kent Beck 1 Eric Evans 1 Robert C. Martin 1 Andrew Hunt 1 David Thomas 1 ACM 1

// topics top 6 topics

artificial intelligence 2 generative ai 2 developer tools 1 ai agents 1 ai ethics 1 ai safety 1