Todo sistema que interactúe con una base de datos requiere de módulos que sean capaces de operar los datos almacenados en ella. Sus tiempos de desarrollo generalmente oscilan entre un 50 y 60% del tiempo utilizado para el ciclo de…

Model-Driven Architecture (MDA) se está convirtiendo en un enfoque ampliamente aceptado para el desarrollo de sistemas de software complejos. MDA propone el uso de modelos como artefacto clave en todas las fases de desarrollo, desde la especificación y análisis hasta…

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly.
UML profiles extend UML syntax and semantic in order to…

En este trabajo se presenta la herramienta DeveloPro, para la documentación y administración de los procesos de una organización. La herramienta permite definir los distintos elementos de un proceso como son: actividades, roles, artefactos, disciplinas, fases, iteraciones, definiciones y herramientas,…

En el presente trabajo se muestra una propuesta de construcción de un software de Firma Digital valiéndose de métodos formales de especificación y desarrollo.
Se utiliza para la construcción de la propuesta el Lenguaje de Especificación RAISE (RSL), que es…