Model-Based Software Debugging

Ceballos Guerrero, Rafael; Abreu, Rui; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael

doi:10.1007/978-3-030-17728-7_15

Capítulo de Libro

dc.contributor.editor	Escobet, Teresa	es
dc.contributor.editor	Bregon, Anibal	es
dc.contributor.editor	Pulido, Belarmino	es
dc.contributor.editor	Puig, Vicenç	es
dc.creator	Ceballos Guerrero, Rafael	es
dc.creator	Abreu, Rui	es
dc.creator	Varela Vaca, Ángel Jesús	es
dc.creator	Martínez Gasca, Rafael	es
dc.date.accessioned	2022-11-16T12:31:52Z
dc.date.available	2022-11-16T12:31:52Z
dc.date.issued	2019
dc.identifier.citation	Ceballos Guerrero, R., Abreu, R.,...,Martínez Gasca, R. (2019). Model-Based Software Debugging. En T. Escobet, A. Bregon, B. Pulido, V. Puig (Ed.), Fault Diagnosis of Dynamic System: Quantitative and Qualitative Approaches (pp. 365-387). Cham, Switzerland: Springer.
dc.identifier.isbn	978-3-030-17727-0	es
dc.identifier.uri	https://hdl.handle.net/11441/139508
dc.description.abstract	The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ever-growing challenges in building and maintaining such systems. In particular, testing and debugging, that is, finding, isolating, and eliminating defects in software systems still constitute a major challenge in practice	es
dc.description.sponsorship	Ministerio de Ciencia y Tecnología TIN2015-63502-C3-2-R	es
dc.description.sponsorship	Fundacao para a Ciencia e a Tecnologia (FCT) UID/EEA/50014/2013	es
dc.description.sponsorship	European Regional Development Fund (ERDF) POCI-01-0145-FEDER-006961 (COMPETE 2020)	es
dc.format	application/pdf	es
dc.format.extent	23	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	Fault Diagnosis of Dynamic System: Quantitative and Qualitative Approaches	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Model-Based Software Debugging	es
dc.type	info:eu-repo/semantics/bookPart	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos	es
dc.relation.projectID	TIN2015-63502-C3-2-R	es
dc.relation.projectID	UID/EEA/50014/2013	es
dc.relation.projectID	POCI-01-0145-FEDER-006961 (COMPETE 2020)	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-030-17728-7_15	es
dc.identifier.doi	10.1007/978-3-030-17728-7_15	es
dc.contributor.group	Universidad de Sevilla. TIC-258: Data-centric Computing Research Hub	es
dc.publication.initialPage	365	es
dc.publication.endPage	387	es
dc.relation.publicationplace	Cham, Switzerland	es
dc.contributor.funder	Ministerio de Ciencia Y Tecnología (MCYT). España	es
dc.contributor.funder	Fundacao para a Ciencia e a Tecnologia (FCT)	es
dc.contributor.funder	European Regional Development Fund (ERDF)	es

Ficheros	Tamaño	Formato	Ver	Descripción
Model-based software debugging.pdf	627.6Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Capítulos (Lenguajes y Sistemas Informáticos)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional