Los métodos formales de especificación cuentan con una base matemática que permite disminuir inconsistencias, ambigüedades e incompletitudes en la etapa de especificación de requisitos de un software, evitando así el traspaso de información errónea a las etapas posteriores de desarrollo. Dentro de los métodos formales, existe “Un Lenguaje de Especificación Formal de Requisitos con Representación Gráfica” [ROS2000], que trabaja con dos tipos de lenguaje, uno algebraico y otro gráfico equivalentes entre sí, es decir, una especificación algebraica tiene su equivalente gráfico y viceversa. Este método mejora la comunicación entre especialistas de la ingeniería de software, ya que basta con dominar uno de esos lenguajes para conseguir su especificación equivalente. No obstante, no existía una herramienta automatizada que realizara la transformación entre estos lenguajes de especificación. De aquí la necesidad de crear una aplicación, que basándose en el método mencionado, permitiera la creación de especificaciones algebraicas y gráficas, y pudiera traducir tales especificaciones en ambos sentidos (algebraico – gráfico, gráfico – algebraico), siendo éstos los objetivos del presente seminario. Para el desarrollo del sistema se utilizó el método de la cascada con retroalimentación. Este método permite retroceder a las etapas anteriores para corregir errores o agregar nuevos requerimientos. De esta manera, se comenzó con el desarrollo de la etapa de especificación de la aplicación, reconociendo los requisitos, funcionalidades y restricciones del sistema. Luego se dio paso a la etapa de diseño, identificando más detalladamente los flujos de información e interacción entre los procesos y el usuario. Posteriormente, se inició la implementación propiamente tal de la aplicación, indicando en esta etapa las mayores problemáticas surgidas al momento de programar. Así se obtuvo una herramienta que permite la creación de especificaciones algebraicas y gráficas, validación sintáctica y semántica, traducción, almacenamiento, recuperación e impresión de las especificaciones. De este modo, la aplicación obtenida sirve de apoyo al método señalado, ya que permite la generación de especificaciones invirtiendo menor tiempo que aplicando el método en forma manual, facilita la comunicación entre especialistas, puede ser usado como una herramienta educativa y utilizarse como un medio para documentar especificaciones.