El Tríptico de la Ingeniería del Software, compuesto por la Ingeniería del Dominio, Ingeniería de Requisitos y el Diseño del Software, Especificar según la metodología RAISE es expresar mediante formulaciones lógico matemáticas las entidades y sus relaciones en un dominio; logrando una sintaxis precisa y una semántica única para ello se emplea el lenguaje formal RSL (RAISE Specification Language) El presente proyecto encara, por un lado, el análisis de la metodología RAISE, su vinculación a los procesos de Verificación y Validación del software y extensiones de la metodología a campos de la Lógica Modal y Temporal, con el análisis tendiente a lograr justificaciones desde el Álgebra Abstracta, el Análisis Funcional; y aportes desde la Lingüística. Por otro se realizarán aplicaciones a casos concretos de diseños efectuados bajo el paradigma del Tríptico, con énfasis en la Ingeniería del Dominio.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)