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…

Tomando como punto de partida los datos estadísticos del curso 2004-05, los profesores responsables de la asignatura de Física Aplicada, de la E.T.S.E de Camiños, Canais y Portos de la Universidade da Coruña (UDC), nos hemos percatado de la acusada…