Sistema de verificación de componentes software

dc.contributor.advisor	Cueva Lovelle, Juan Manuel
dc.contributor.author	Cernuda del Río, Agustín
dc.contributor.other	Informática, Departamento de
dc.date.accessioned	2013-06-14T10:18:46Z
dc.date.available	2013-06-14T10:18:46Z
dc.date.issued	2002-06-17
dc.identifier.other	https://www.educacion.gob.es/teseo/mostrarRef.do?ref=266274
dc.identifier.uri	http://hdl.handle.net/10651/17190
dc.description.abstract	Esta tesis se inscribe en el campo de la ingeniería de software, y describe un sistema de verificación de componentes software que va más allá de la mera compatibilidad de signaturas, proporcionando un marco en el que realizar verificaciones de otros tipos. Apoyándose en la programación lógica con restricciones y la gestión del conocimiento, ofrece un método viable (desde un punto de vista tanto técnico como de adopción y transferencia tecnológica) para realizar una verificación que permita asegurar de manera estática, automática y asequible que, basándose en el conocimiento disponible, cierta combinación de componentes no viola las condiciones de funcionamiento correcto de ninguno de ellos. El método es los suficientemente general como para ser aplicado a muy diversos ámbitos y problemas del desarrollo de software.
dc.format.extent	216 p.
dc.language.iso	spa
dc.title	Sistema de verificación de componentes software
dc.type	doctoral thesis	spa
dc.local.notes	Tesis 2002-056
dc.relation.tesispublicada	http://absysweb.cpd.uniovi.es/cgi-bin/abnetopac?TITN=1071520

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.