The moment you fully make you spec and requirement water-tight, what you have is similar to source code.