“The real challenge is functional traceability” As AI enters automotive software engineering, scalable development is becoming a process challenge. Georg Doll, CTO Automotive & Mobility at Microsoft, explains how spec-driven development and AI agents can turn formal intent into verified code. Benjamin Müller