Lescaylle Daudinot, Alexei(Universitat Politècnica de València, 2012-01-24)
We propose the tccp language for the specification and verification of security protocols. We study the relation between tccp and utcc by presenting a transformation from utcc into tccp that formally states the relation ...
Álvarez Agüera, Juan(Universitat Politècnica de València, 2022-10-20)
[ES] El proyecto está basado en el desarrollo de una aplicación web para la gestión de una escuela de
música. Esta aplicación está centrada en la parte de calificaciones. Los tutores tendrán acceso a
los boletines de ...
Peña Higon, Alejandro(Universitat Politècnica de València, 2020-10-08)
[ES] El TFG consiste en el desarrollo de un plugin completo para Unity que se encargue de la generación procedural de una mazmorra basada en el comportamiento del jugador mientras recorre una de ellas. El reto se plantea ...
Villanueva García, Alicia(Universitat Politècnica de València, 2011-03-14)
[ES] Este texto describe la experiencia del desarrollo de una actividad de trabajo colaborativo en
una asignatura del último curso de Ingeniería Informática. Los alumnos usan el wiki como
un instrumento para el desarrollo ...
Orengo Faus, Sandra María(Universitat Politècnica de València, 2020-10-21)
[ES] En Ingeniería de Software, el concepto de contrato está relacionado con una descripción del comportamiento de los programas utilizando precondiciones y postcondiciones de métodos. El estado del arte actual permite ...
Sanz Carreres, Sergi(Universitat Politècnica de València, 2020-09-02)
[ES] En Ingeniería de Software, el concepto de contrato está relacionado con una especificación del comportamiento de los programas utilizando descripciones que típicamente incluyen precondiciones y postcondiciones. El ...