RUO Principal

Repositorio Institucional de la Universidad de Oviedo

Ver ítem 
  •   RUO Principal
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Tesis
  • Ver ítem
  •   RUO Principal
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Tesis
  • Ver ítem
    • español
    • English
JavaScript is disabled for your browser. Some features of this site may not work without it.

Listar

Todo RUOComunidades y ColeccionesPor fecha de publicaciónAutoresTítulosMateriasxmlui.ArtifactBrowser.Navigation.browse_issnPerfil de autorEsta colecciónPor fecha de publicaciónAutoresTítulosMateriasxmlui.ArtifactBrowser.Navigation.browse_issn

Mi cuenta

AccederRegistro

Estadísticas

Ver Estadísticas de uso

AÑADIDO RECIENTEMENTE

Novedades
Repositorio
Cómo publicar
Recursos
FAQs
Las tesis leídas en la Universidad de Oviedo se pueden consultar en el Campus de El Milán previa solicitud por correo electrónico: buotesis@uniovi.es

Sistema de verificación de componentes software

Autor(es) y otros:
Cernuda del Río, AgustínAutoridad Uniovi
Director(es):
Cueva Lovelle, Juan ManuelAutoridad Uniovi
Centro/Departamento/Otros:
Informática, Departamento deAutoridad Uniovi
Fecha de publicación:
2002-06-17
Descripción física:
216 p.
Resumen:

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.

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.

URI:
http://hdl.handle.net/10651/17190
Otros identificadores:
https://www.educacion.gob.es/teseo/mostrarRef.do?ref=266274
Tesis Publicada:
http://absysweb.cpd.uniovi.es/cgi-bin/abnetopac?TITN=1071520
Notas Locales:

Tesis 2002-056

Colecciones
  • Tesis [7675]
Ficheros en el ítem
Compartir
Exportar a Mendeley
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem
Página principal Uniovi

Biblioteca

Contacto

Facebook Universidad de OviedoTwitter Universidad de Oviedo
El contenido del Repositorio, a menos que se indique lo contrario, está protegido con una licencia Creative Commons: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Creative Commons Image