Toro Bonilla, MiguelCorchuelo Gil, Rafael2014-11-272014-11-271999Corchuelo 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.http://hdl.handle.net/11441/15359Esta 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.application/pdfspaAtribución-NoComercial-SinDerivadas 4.0 Españahttp://creativecommons.org/licenses/by-nc-nd/4.0/Programas y sistemas de programaciónDesarrolloIngeniería de programas y sistemas de programaciónSistemas, Análisis deinfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccess