- -

Mejorando un sistema de soporte para la calidad de software

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Mejorando un sistema de soporte para la calidad de software

Show full item record

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

Files in this item

Item Metadata

Title: Mejorando un sistema de soporte para la calidad de software
Author:
Director(s): Villanueva García, Alicia
UPV Unit: 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ó
Read date / Event date:
2015-12-16
Issued date:
Abstract:
[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 ...[+]
Subjects: LTL , Java , Aplicación , Parser , Application
Copyrigths: Reserva de todos los derechos
degree: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

This item appears in the following Collection(s)

Show full item record