Formalizaciones para sintetizar software orientado a objetos

• Autores: Francisco José Galán Morillo
• Directores de la Tesis: José Miguel Toro Bonilla (dir. tes.)
• Lectura: En la Universidad de Sevilla ( España ) en 2000
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.), José Antonio Troyano Jiménez (secret.), Juan José Moreno Navarro (voc.), José Ambrosio Toval Álvarez (voc.), Ernesto Pimentel Sánchez (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
      • Logicales de ordenadores
• 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.