Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

Mastering Agile Practice Adoption through a Model-Driven Approach for the Combination of Development Methods

Giachetti Herrera, Giovanni Andrés; Vara González, José Luis de la; Marín, Beatriz (Springer-Verlag, 2023-04-30)

[EN] Many software companies are adapting their traditional development processes to incorporate agile practices. In this context, it is necessary to count on expert knowledge to evaluate different agile practices and ...
Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura

Martínez López, Alejandro (Universitat Politècnica de València, 2022-10-21)

[ES] Realizar una herramienta que demuestra la terminación de sistemas de reescritura utilizando el denominado Marco de Pares de Dependencia (\emph{DP Framework}) a partir de procesadores aportados por usuarios externos. ...
Verificación automática de un protocolo de voto electrónico

Acedo Arroyo, Josep Vicent (Universitat Politècnica de València, 2022-09-13)

[ES] La seguridad y transparencia de los procesos electores son la garantía fundamental de la voluntad popular. Sin ellos es imposible la construcción y el mantenimiento de la democracia. Las nuevas tecnologías van ...

Mostrando ítems 1-3 de 3