Al igual que las aplicaciones de propósito general, las de tiempo real no hacen más que aumentar en complejidad, forzando a que se estén explorando nuevas vías tecnológicas no consideradas previamente, como puede ser el empleo del lenguaje de propósito…

En este trabajo planteamos un modelo del riesgo en el proyecto en red estocástico, expresado mediante redes de Petri estocásticas más generales. El modelo contempla la incertidumbre sobre la duración de las actividades, e incluye los planes de contingencia y…

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e.…

En esta tesis se presenta el desarrollo de una herramienta gráfica avanzada de resolución de problemas de radiación y dispersión. El núcleo electromagnético que incluye la aplicación se basa en el Método de los Momentos y es capaz de analizar…