Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the evolution of software quality engineering and the potential for achieving zero-bug software through AI-enhanced development practices in this 36-minute conference talk. Trace seventy years of innovation in software quality and programmer productivity, from structured programming to formal verification, while examining how NASA's Space Shuttle software achieved near-perfection with only 1 error per 420,000 lines of code using rigorous engineering practices. Discover why these proven techniques remained too costly for mainstream adoption and how artificial intelligence is changing that paradigm. Learn about the critical role these quality assurance methods play in compensating for the limitations of agentic coding systems. Understand how we are approaching a future where aerospace-level software reliability becomes practical across a broad range of applications, moving beyond the cost barriers that previously limited such rigorous approaches to mission-critical systems.
