Show simple item record

Sistema de verificación de componentes software

dc.contributor.advisorCueva Lovelle, Juan Manuel 
dc.contributor.authorCernuda del Río, Agustín 
dc.contributor.otherInformática, Departamento de 
dc.date.accessioned2013-06-14T10:18:46Z
dc.date.available2013-06-14T10:18:46Z
dc.date.issued2002-06-17
dc.identifier.otherhttps://www.educacion.gob.es/teseo/mostrarRef.do?ref=266274
dc.identifier.urihttp://hdl.handle.net/10651/17190
dc.description.abstractEsta 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.extent216 p.
dc.language.isospa
dc.titleSistema de verificación de componentes software
dc.typeinfo:eu-repo/semantics/doctoralThesis
dc.type.dcmitext
dc.local.notesTesis 2002-056
dc.relation.tesispublicadahttp://absysweb.cpd.uniovi.es/cgi-bin/abnetopac?TITN=1071520


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Tesis [6354]
    Tesis doctorales leídas en la Universidad de Oviedo

Show simple item record