Mostrar el registro sencillo del ítem
Ponencia
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
dc.creator | García-Galán, Jesús | |
dc.creator | Trinidad Martín Arroyo, Pablo | |
dc.creator | Ruiz Cortés, Antonio | |
dc.date.accessioned | 2015-06-29T14:55:23Z | |
dc.date.available | 2015-06-29T14:55:23Z | |
dc.date.issued | 2011 | |
dc.identifier.other | http://www.isa.us.es/sites/default/files/fama%20abductive%20jisbd.pdf | |
dc.identifier.uri | http://hdl.handle.net/11441/26320 | |
dc.description.abstract | La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de caracter´ısticas. Realizar este proceso manualmente no es viable con modelos de tama˜no medio/grande, e incluso tampoco para modelos peque˜nos, pues la mayor´ıa de errores son extremadamente dif´ıciles de detectar y m´as a´un de explicar. En esta demo presentamos FaMa Abductive, una extensi´on de la herramienta FaMa, encargada de la diagnosis autom´atica en modelos de caracter´ısticas. Esta herramienta provee detecci´on y explicaciones para errores en modelos de caracter´ısticas, tanto b´asicos como extendidos, y tambi´en para productos err´oneos en modelos de caracter´ısticas b´asicos. | |
dc.format | application/pdf | |
dc.language.iso | eng | |
dc.relation.ispartof | JISBD 2011: XVI Jornadas De Ingeniería Del Software Y Bases De Datos, A Coruña, España | |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | |
dc.title | FaMa Abductive: una herramienta para explicaciones de errores en modelos de características | |
dc.type | info:eu-repo/semantics/conferenceObject | |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | |
dc.relation.publisherversion | http://dx.doi.org/10.13140/2.1.3513.2481 | |
dc.identifier.doi | http://dx.doi.org/10.13140/2.1.3513.2481 | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/26320 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 172.7Kb | [PDF] | Ver/ | |