I don't know about others, but for me personally, the best way to describe the precise behavior of a computer program is and always was a suitably advanced programming language. I never really understood the need for UML diagrams, cucumber scripts, XML configuration for dependency injection frameworks, or heaps of YAML files all referencing each other. And I don't really understand why MarkDown is suddenly supposed to be any better than any one of these. Just write the code.