Ir al contenido

Documat


Semántica de comportamiento en lenguajes de especificación

  • Autores: M. Pilar Nivela Alos Árbol académico
  • Directores de la Tesis: Fernando Orejas Valdés (dir. tes.) Árbol académico
  • Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1987
  • Idioma: español
  • Tribunal Calificador de la Tesis: Josep Díaz Cort (presid.) Árbol académico, Donald Sannella (secret.) Árbol académico, José Luis Balcázar Navarro (voc.) Árbol académico, Isidro Ramos Salavert (voc.) Árbol académico, Mario Rodríguez de Artalejo (voc.) Árbol académico
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • 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.


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno