Buscar
Mostrando ítems 1-2 de 2
Tesis Doctoral
Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO
(1999)
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 ...
Tesis Doctoral