Mostrar el registro sencillo del ítem
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 |