The quality became in last decades one of the main requirements of competition in all the economy areas. In this context there are maturity models as the CMM. The CMM model is organized in levels, composed by key areas. One…

El proyecto que sustenta este trabajo tiene como objetivo el desarrollo de una herramienta ICASE (Integrated Computer Aided Software Engineering) que produzca sistemas, esto es, el código y la documentación completos, a partir de especificaciones gráficas de alto nivel de…

Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo…