Ir al contenido

Documat


Formalizaciones para sintetizar software orientado a objetos

  • Autores: Francisco José Galán Morillo Árbol académico
  • Directores de la Tesis: José Miguel Toro Bonilla (dir. tes.) Árbol académico
  • Lectura: En la Universidad de Sevilla ( España ) en 2000
  • Idioma: español
  • Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) Árbol académico, José Antonio Troyano Jiménez (secret.) Árbol académico, Juan José Moreno Navarro (voc.) Árbol académico, José Ambrosio Toval Álvarez (voc.) Árbol académico, Ernesto Pimentel Sánchez (voc.) Árbol académico
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • La tesis aborda el desarrollo de un formalismo que sirva de base para sintetizar software orientado a objetivos, Actualmente, se están desarrollado diversos formalismos gráficos. Textuales para especificar software. La falta de una semántica precisa y de un método sistemático de traducción compromente la correcición de las traducciones. Para resolver estos problemas se propone el lenguaje S-UMIL/OCL. Se trata de un lenguaje de especificación de software orientado a objetos caracterizado con una semántica adaptada a sintesis. La tesis destaca cada elemento del lenguaje S-UML/OCL conel correspondiente método de síntesis y una metodología de construcciónde especificaciones como paso previó a la síntesis.


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno