[ES] Este proyecto explica todo el proceso de diseño y creación de una aplicación para la ayuda y motivación de los alumnos con pocos conocimientos de programación. Representa una pequeña competición, a nivel de asignaturas, ...

[ES] El proyecto realizado consiste en la creación de una aplicación de escritorio para calculo y análisis de los derechos y consumos de agua otorgados a una entidad por parte de la Confederación Hidrografíca del Júcar. ...

[CA] Aquest TFG planteja el desenvolupament d'una aplicació web per a la gestió i certificació de tota mena de portes de manera ràpida i senzilla. Els usuaris d'aquesta aplicació podran gestionar tota la documentació ...

Two approaches for evaluating Datalog programs are presented: one based on boolean equation systems, and the other based on rewriting logic. The work is presented in the context of the static analysis of Java programs ...

[ES] Este proyecto está centrado en el desarrollo y despliegue de una aplicación web que utilizaran los técnicos de la DGTIC (Dirección General de Tecnologías de la Información y las Comunicaciones) para gestionar la ...

El objetivo de este proyecto es crear un método que comprueba el índice de satisfacción automático de las propiedades de la lógica temporal lineal proposicional, mediante un algoritmo Tableau. Esto se implementara en el ...

[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper we ...

Hace una breve introducción al concepto de análisis estático de programas y da dos ejemplos intuitivos de análisis clásicos.

[ES] Las pruebas de software o Testing, son las investigaciones empíricas y técnicas que tienen como objetivo proporcionar información objetiva e independiente sobre la calidad del producto, para así, verificar si el ...

Se introduce la semántica para la evaluación de expresiones en el contexto de la semántica operacional de los lenguajes de programación. Se usa un lenguaje ejemplo muy sencillo para introducir los conceptos y se hace un ...