Dentro del contexto de desarrollo de herramientas, esta investigación tiene como objetivo el concretar una especificación formal a partir de una especificación realizada en lenguaje natural. Para ello se comienza primero por construir una herramienta, que sobre la base de la Gramática Distributiva permita producir texto en lenguaje natural con un alto grado de precisión ya que la aplicación de las reglas de la Gramática Distributiva así lo permiten, para luego, sobre la base de un texto en lenguaje natural, que tenga la semántica prevista por el usuario y un alto grado de coherencia y regularidad, someterlo a otra herramienta que permita traducir dicho texto a un lenguaje ejecutable. Por otro, lado la herramienta para la Gramática Distributiva tendrá otras aplicaciones propias de los objetivos de dicha gramática, tales como orientar a los usuarios de la misma a producir textos, sobre todos textos complejos sobre temas científicos, que sean lo más claro y menos ambiguos posible.