Evaluación de métodos de generación de invariantes sobre estructuras de datos
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Central | Memorias | M 005.73 C382 (Navegar estantería(Abre debajo)) | 1 | Disponible | DISPONIBLE A TRAVES DE REPOSITORIO INSTITUCIONAL | 3560900214350 |
Tesis (Ing. Civil Informático) -- Porf. Guía : Jocelyn Simmonds; prof. corref.: Diego Arroyuelo
En el presente trabajo se estudian y analizan dos algoritmos de generación de invariantes para estructuras de datos disponibles en la actualidad, sometiéndolos a pruebas y realizando comparaciones basadas en su desempeño y capacidad de detección de invariantes conocidas en estructuras de datos predefinidas, con el fin de evaluar sus principales propiedades, fortalezas y debilidades.
2
CONSULTE EN LINEA A TRAVES DE REPOSITORIO INSTITUCIONAL