Tesis Doctoral
Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO
Autor/es | Corchuelo Gil, Rafael |
Director | Toro Bonilla, Miguel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 1999 |
Fecha de depósito | 2014-11-27 |
Resumen | Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos como lenguajes de muy alto nivel a partir de los cuales se puedan obtener rápidamente prototipos ... Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos como lenguajes de muy alto nivel a partir de los cuales se puedan obtener rápidamente prototipos apreciables en la fase de análisis de requisitos. Se realiza un estudio exhaustivo de los lenguajes LCM, TROLL, OASIS y TESORO destacando sus carac terísticas comunes y aquellas que resultan más útiles en la práctica. Para poder compilarlos, se propone un lenguaje ensamblador llamado Clip y se desarrollan técnicas para implementarlo sobre una red de estaciones de trabajo heterogéneas. El problema de la selección justa de alternativas ha sido tratado con gran detalle y se han realizado varias propuestas para resolverlos, que resultan originales y mejoran sustancialmente las clásicas de Francez, Informan o Best. |
Cita | Corchuelo Gil, R. (1999). Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
O_Tesis-16.pdf | 17.46Mb | [PDF] | Ver/ | |