- -

Mejorando un sistema de soporte para la calidad de software

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

Compartir/Enviar a

Citas

Estadísticas

Mejorando un sistema de soporte para la calidad de software

Mostrar el registro completo del ítem

Belda Romany, A. (2015). Mejorando un sistema de soporte para la calidad de software. http://hdl.handle.net/10251/59550.

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

Ficheros en el ítem

Metadatos del ítem

Título: Mejorando un sistema de soporte para la calidad de software
Autor:
Director(es): Villanueva García, Alicia
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha acto/lectura:
2015-12-16
Fecha difusión:
Resumen:
[ES] Este trabajo se enmarca dentro de un proyecto que tiene como objetivo el análisis y verificación de propiedades de sistemas concurrentes. De forma más precisa, en este TFG se desarrolla el módulo de la aplicación ...[+]


[EN] This work is part of a project that aims at analyzing and verifying properties of concurrent systems. More precisely, in this final degree application module dedicated to checking satisfiability of LTL formula that ...[+]
Palabras clave: LTL , Java , Aplicación , Parser , Application
Derechos de uso: Reserva de todos los derechos
Titulación: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

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

Mostrar el registro completo del ítem