- -

Una aplicación de minería de datos para el análisis de la propiedad de terminación de SRTs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Una aplicación de minería de datos para el análisis de la propiedad de terminación de SRTs

Show simple item record

Files in this item

dc.contributor.advisor Ramírez Quintana, María José es_ES
dc.contributor.advisor Piris Ruano, Francisco Javier es_ES
dc.contributor.author Fabregat Marcos, Hermenegildo es_ES
dc.date.accessioned 2015-07-31T11:12:53Z
dc.date.available 2015-07-31T11:12:53Z
dc.date.created 2015-07-14
dc.date.issued 2015-07-31 es_ES
dc.identifier.uri http://hdl.handle.net/10251/54056
dc.description.abstract [ES] La minería de datos juega a día de hoy un papel importante en muchos campos de la ciencia debido a la gran cantidad de información con la que se trabaja diariamente y la que se puede deducir de la misma. Las posibilidades que ofrece la minería de datos son muy diversas, siendo además su ámbito de aplicación muy extenso. Uno de los posibles campos y del que versa este trabajo, es la predicción de propiedades de sistemas software. Para ser mas concretos, en este proyecto hemos planteado la posibilidad de predecir la propiedad de terminación de los sistemas de reescritura de términos. Para ello se ha hecho uso de la base de datos de resultados de la Termination Competition, competición que se celebra anualmente desde 2006 y que trata sobre la demostración de la terminación de sistemas de reescritura. En esta base de datos se almacenan en forma de registros los resultados obtenidos por herramientas de terminación que participan en la competición, registros tales como el resultado de la demostración, tiempo empleado para obtener la respuesta y la traza de la demostración. es_ES
dc.description.abstract [EN] Nowadays data mining plays an important role in many science fields due to the huge volume of information that we handle on a daily basis as well as the information which can be obtained from it. Possibilities offered by data mining are very varied and its scope of application is very large. One of the possible fields we handle with in this project is the prediction of software system features. Specifically in this project we have researched the possibility of foreseeing the termination feature of term rewriting systems. To achieve this goal the database containing the results of the Termination Competition taking place annually since 2006 has been used. Such database stores the results obtained by termination tools taking part in the competition, such as the result of the demonstration, time employed to obtain the result and the trace of such a demonstration. es_ES
dc.format.extent 61 es_ES
dc.language Español es_ES
dc.rights Reconocimiento - No comercial (by-nc) es_ES
dc.subject Sistemas de reescritura de términos es_ES
dc.subject Minería de datos es_ES
dc.subject Análisis estático de software 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 Una aplicación de minería de datos para el análisis de la propiedad de terminación de SRTs 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 Fabregat Marcos, H. (2015). Una aplicación de minería de datos para el análisis de la propiedad de terminación de SRTs. http://hdl.handle.net/10251/54056. es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\19311 es_ES


This item appears in the following Collection(s)

Show simple item record