La Ingeniería de Requisitos (IR) provee métodos, técnicas y herramientas para ayudar a los ingenieros a elicitar y especificar requisitos, asegurando el máximo de calidad y completitud. Sin embargo, el problema de la completitud es una amenaza constante a la…

Patrones de diseño es una herramienta de soporte como técnica de reuso y anticipación al cambio. Su descripción es habitualmente bastante informal no permitiendo concluir cuándo y cómo un patrón es aplicado correctamente. En esto el uso de lenguajes formales…