RiuNet UPV Home
:
Browsing by Author

Search RiuNet

Browse

All of RiuNet

My Account

Login

RiuNet Help

Admin. UPV

Browsing by Author "Santamarina Puertas, Daniel"

Now showing items 1-2 of 2

Diseño e implementación de una herramienta para determinar la cobertura de las pruebas en Prolog

Santamarina Puertas, Daniel (Universitat Politècnica de València, 2023-10-03)

[ES] Este Trabajo Fin de Grado aborda el diseño e implementación de una herramienta para medir la cobertura de las consultas realizadas en un programa Prolog. A diferencia de las herramienta existentes, este trabajo aporta ...
Los problemas de satisfacción de restricciones en el entorno empresarial: aplicación al caso de asignación de defensas y tribunales de Trabajos Fin de Grado para la Facultad de Administración y Dirección de Empresas

Santamarina Puertas, Daniel (Universitat Politècnica de València, 2023-07-17)

[ES] La asignación de recursos es fundamental para cualquier empresa, especialmente en ambientes de alta demanda de crecimiento y recursos limitados. A esto se suma que, habitualmente, las empresas deben satisfacer un ...

Now showing items 1-2 of 2