"Oliver Schoenborn challenged specification-driven development by arguing that complete prose specifications can be harder to write than code because symbolic notation expresses precise relationships efficiently."
In a March 2026 response to Ankit Jain, Schoenborn argued that mathematical and programming notation can express meaning more concisely and precisely than natural-language specifications. His objection captures a central issue for the manuscript - moving work from code into prose does not automatically eliminate the difficulty of specifying behavior.
View Source