The core problem is that a fully defined requirements document for software with any novelty ultimately involves code level logic and will often be more verbose than just the code...