- -

Diseño de una metodología para la validación y depuración de programas Erlang

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Desde el lunes 3 y hasta el jueves 20 de marzo, RiuNet funcionará en modo de solo lectura a causa de su actualización a una nueva versión.

Diseño de una metodología para la validación y depuración de programas Erlang

Mostrar el registro completo del ítem

Pons Ramos, RA. (2022). Diseño de una metodología para la validación y depuración de programas Erlang. Universitat Politècnica de València. http://hdl.handle.net/10251/182014

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/182014

Ficheros en el ítem

[Cerrado]
Nombre: Pons - Diseno de ...
Tamaño: 2.752Mb
Formato: PDF
Solicitar una copia al autor

Metadatos del ítem

Título: Diseño de una metodología para la validación y depuración de programas Erlang
Autor: Pons Ramos, Ricard Adrià
Director(es): Vidal Oriola, Germán Francisco
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha acto/lectura:
2022-03-29
 Fecha difusión:
Resumen:
[ES] A la hora de validar y depurar un programa existen muchos métodos y herramientas para ello. No existe una metodología estándar ni convenciones a la hora de revisar nuestro código escrito en Erlang. Por ello, el ...[+]
Palabras clave: Erlang , EUnit , CutEr , PropEr , Concuerror , Dialyzer , CauDEr
Derechos de uso: Cerrado
Editorial:
Universitat Politècnica de València
Titulación: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem