One ultimate dream in the context of V model development, is code generation: the only elements (edited by hand and with thought) are the specifications, all the rest is derived objects, produced automatically with full dependencies.
The problem is obviously that then the specifications must be precise enough, and unambiguous, in short they must be expressed in a programming language: they are code [paradox].