- -

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 simple item record

Files in this item

dc.contributor.advisor Villanueva García, Alicia es_ES
dc.contributor.author Belda Romany, Adrián es_ES
dc.date.accessioned 2016-01-08T12:28:44Z
dc.date.available 2016-01-08T12:28:44Z
dc.date.created 2015-12-16
dc.date.issued 2016-01-08 es_ES
dc.identifier.uri http://hdl.handle.net/10251/59550
dc.description.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 dedicada a la comprobación de satisfacibilidad de una fórmula LTL que se construye en los pasos anteriores del análisis. Dado que se parte de la salida de las fases anteriores de la aplicación TADi, con una sintaxis y estructura ya decididas se ha desarrollado un parser para satisfacer las necesidades del sistema. Así pues, en este trabajo se presenta el desarrollo de la aplicación basada en el algoritmo de validación de fórmulas LTL. es_ES
dc.description.abstract [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 builds on the previous steps of the analysis is developed. Given that part of the output of the previous phases of the Tadi application with syntax and structure it has already decided parser developed to meet the needs of the system. So, in this work the development of the algorithm based on LTL formulas validation application is presented. es_ES
dc.format.extent 39 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 LTL es_ES
dc.subject Java es_ES
dc.subject Aplicación es_ES
dc.subject Parser es_ES
dc.subject Application 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 Mejorando un sistema de soporte para la calidad de software es_ES
dc.type Proyecto/Trabajo fin de carrera/grado es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica 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.description.bibliographicCitation Belda Romany, A. (2015). Mejorando un sistema de soporte para la calidad de software. http://hdl.handle.net/10251/59550. es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\16450 es_ES


This item appears in the following Collection(s)

Show simple item record