Natural language is imprecise, ambiguous, and incomplete which is a problem if you are specifying a mission / safety critical system.

The Shlaer-Mellor variant of Executable UML lets you build fully executable, platform independent specifications that you can use for both validation and code generation.

The tools in our ecosystem are open source and centered around human readable text with guided diagram generation.

So you can use your favorite development IDEs and configuration management with no more pixel pushing.