Sistemas Reactivos

El objetivo general de este proyecto es la elaboración y uso de teorías semánticas que permitan describir, comprender y analizar programas, teniendo en cuenta los aspectos relativos al tiempo de ejecución y distribución en el espacio de los cómputos.

Deseamos utilizar estas teorías en la construcción de herramientas de alto nivel de ayuda al desarrollo y verificación de programas donde estos aspectos son esenciales (esto es, programas de tiempo real y sistemas distribuidos).

Entre los objetivos específicos cubiertos por el presente proyecto, se encuentra el estudio y la propuesta de modelos semánticos que permitan representar en forma coherente los fenómenos de tiempo y distribución espacial en los programas.


File translated from TEX by TTH, version 1.60.