No Silver Bullet: Essence and Accidents of Software Engineering
Frederick P. Brooks Jr.
software-engineeringBibliography
The Coming Need for Formal Specification
Benjamin Congdon
formal-methods, ai, industrySocial Processes and Proofs of Theorems and Programs
Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
formal-methods, verificationOn the Cruelty of Really Teaching Computing Science (EWD1036)
Edsger W. Dijkstra
formal-methods, educationWorse is Better
Richard P. Gabriel
software-engineering, design-philosophyAI Will Make Formal Verification Mainstream
Martin Kleppmann
formal-methods, ai, industryWho Builds a House Without Drawing Blueprints?
Leslie Lamport
formal-methods, software-engineeringThe Wooden Firehouse
Andrew Myers
software-engineering, formal-methodsHow Amazon Web Services Uses Formal Methods
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
formal-methods, industry, tla-plus