english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería
  3. Instituto de Computación
  4. Tesis de grado
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/3069 Cómo citar
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorSierra Abbate, Luis Ricardoes
dc.contributor.authorBello, Sebastianes
dc.date.accessioned2014-11-24T22:50:28Z-
dc.date.available2014-11-24T22:50:28Z-
dc.date.issued2000es
dc.date.submitted20141202es
dc.identifier.citationBELLO, S. "Compiladores de grafos temporizados". Tesis de grado, Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación, 2000.es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3069-
dc.description.abstractLos sistemas de tiempo real son sistemas que toman en cuenta la evolución del tiempo, y permiten exptesar propiedades temporales cuantitativas. En este tipo de sistemas es posible formular expresiones del tipo "toda ejecución de la acción A ocurre al menos 20 segundos después que la ejecución de una B". Distintos lenguajes de especificación para estos sistemas han sido propuestos. El objetivo de este taller es la construcción de una serie de compiladores que conviertan especificaciones -tanto de sistemas como de propiedades a verificar-entre un conjunto de formalismos elegido. Ellos serán los usados por las herramientas Kronos, Uppaal y HyTech. Se han desarrollado además interfases gráficas para el uso de dichos formalismos -todos ellos se basan en autómatas.es
dc.format.mimetypeapplication/pdfes
dc.languageeses
dc.publisherUR. FI-INCO,es
dc.rightsLas obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)es
dc.subjectSISTEMAS DE TIEMPO REALes
dc.subjectREAL TIME SYSTEMes
dc.subjectCOMPILADORES DE GRAFOSes
dc.titleCompiladores de grafos temporizadoses
dc.typeTesis de gradoes
thesis.degree.grantorUniversidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computaciónes
thesis.degree.nameIngeniero en Computaciónes
dc.rights.licenceLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
Aparece en las colecciones: Tesis de grado - Instituto de Computación

Ficheros en este ítem:
Fichero Descripción Tamaño Formato   
tg-bello.pdf513,96 kBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons