Mostrar el registro sencillo del ítem
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. |
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Tesis [7478]
Tesis doctorales leídas en la Universidad de Oviedo