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 |
Externí odkaz: |