Resumen de Semántica de comportamiento en lenguajes de especificación
M. Pilar Nivela Alos 
EN ESTA TESIS SE PRESENTA UN MARCO FORMAL (INSTITUCION) ADECUADO PARA DEFINIR EN TERMINOS DE SEMANTICA DE COMPORTAMIENTO LAS CONSTRUCCIONES USUALES EN LOS LENGUAJES DE ESPECIFICACION ALGEBRAICA, SE DEFINE PARA ELLO LA SINTAXIS DE LAS ESPECIFICACIONES LA CLASE DE MODELOS ASOCIADA Y LA NOCION DE SATISFACION.
BASANDOSE EN ESTOS CONCEPTOS SE ESTABLECE LO QUE ES UNA ESPECIFICACION PARAMETRIZADA UN PASO DE PARAMETROS Y UNA IMPLEMENTACION DEMOSTRANDOSE QUE LAS PROPIEDADES DE ESTOS MECANISMOS CONSIDERADAS USUALMENTE COMO DESEABLES SE CUMPLEN EN ESTE NUEVO MARCO.
TODOS ESTOS RESULTADOS SE APLICAN AL ESTUDIO DEL LENGUAJE DE ESPECIFICACION MERLIN-T DEFINIDO CON DOS NIVELES DE SEMANTICA COMPATIBLES ENTRE SI. ADEMAS ESTELENGUAJE INCORPORA UNA CONSTRUCCION DENOMINADA UNIVERSO QUE LO CONVIERTE NO SOLO EN EL LENGUAJE DE ESPECIFICACION SINO EN UN LENGUAJE DE ESPECIFICACION -DISEÑO.
