AI and Software Engineering: New Paradigms and Challenges

A wave of articles explores how AI is reshaping software engineering: from agentic coding and LLM integration to DevOps bottlenecks, formal methods, and verification. Recent additions include Eval-Driven Development, context engineering, spec-anchored development (Beck/Fowler), and AWS's major investment in Lean for formal verification of agentic AI systems. This broad theme continues to evolve.