Specification driven design has been around for a long time. Lets see if AI can make it come true. Dr. David Parnas wrore about Parnas Tables https://research.cs.queensu.ca/home/cisc323/2006w/slides/Bil... ; and then there was Eiffel with Design-By-Contract; and the Type System in F-Sharp seems like magic.