- -

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

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

[Cerrado]
Nombre: Pons - Diseno de ...
Tamaño: 2.752Mb
Formato: PDF
Solicitar una copia al autor
dc.contributor.advisor Vidal Oriola, Germán Francisco es_ES
dc.contributor.author Pons Ramos, Ricard Adrià es_ES
dc.date.accessioned 2022-04-13T11:42:08Z
dc.date.available 2022-04-13T11:42:08Z
dc.date.created 2022-03-29
dc.date.issued 2022-04-13 es_ES
dc.identifier.uri http://hdl.handle.net/10251/182014
dc.description.abstract [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 objetivo de este TFG es hacer una revisión de las herramientas disponibles y presentar una metodología con la que orientar a los programadores del lenguaje Erlang a la hora de utilizar dichas herramientas y en particular los momentos del desarrollo en los que pueden ser aplicadas. Para el desarrollo del TFG se hará uso del lenguaje Erlang, así como las herramientas de validación y depuración EUnit, CutEr, PropEr, Concuerror, Dialyzer y CauDEr. es_ES
dc.format.extent 75 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Erlang es_ES
dc.subject EUnit es_ES
dc.subject CutEr es_ES
dc.subject PropEr es_ES
dc.subject Concuerror es_ES
dc.subject Dialyzer es_ES
dc.subject CauDEr es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Grado en Ingeniería Informática-Grau en Enginyeria Informàtica es_ES
dc.title Diseño de una metodología para la validación y depuración de programas Erlang es_ES
dc.type Proyecto/Trabajo fin de carrera/grado es_ES
dc.rights.accessRights Cerrado es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\138108 es_ES


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

Mostrar el registro sencillo del ítem