Resumen de Formalizaciones para sintetizar software orientado a objetos
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.
