Especificaciones orientadas a objetos basados en restricciones. Prototipado en un lenguaje orientado a procesos

Autor: Torres Valderrama, Jesús
Přispěvatelé: Toro Bonilla, Miguel, Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Jazyk: Spanish; Castilian
Rok vydání: 2018
Předmět:
Zdroj: idUS. Depósito de Investigación de la Universidad de Sevilla
instname
Popis: En la presente tesis se pretenden los siguientes objetivos: - Desarrollo de un lenguaje de especificación orientada a objetos (TESORO). - Estudio y formalización de los mecanismos de asociación y agregación como operadores entre clases, que nos permitan especificar sistemas a un nivel superior de abstracción. - Definición de la semántica del lenguaje. Para ello se hará, por un lado, una normalización del lenguaje y, por otro, un proceso de aplanamiento de operadores entre clases características, de forma que se expresen en un lenguaje más básico. - Describir las equivalencias entre TESORO y LOTOS, de forma que se puedan realizar prototipos en dicho lenguaje
Databáze: OpenAIRE