Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.uci.cu/jspui/handle/ident/TD_1661_08| Título : | Propuesta de tecnicas de analisis de propiedades estructurales en la Universidad de las Ciencias Informaticas (UCI). |
| Autor : | Castillo Clark, Linet Otero Dartayet, Dasiel |
| Palabras clave : | COMPUTACION;INFORMATICA;GESTION DE SOFTWARE;ALGORITMOS;PROYECTOS;ARQUITECTURA DE SOFTWARE;PROPIEDADES ESTRUCTURALES;METODOS FORMALES;ANALISIS DE PROPIEDADES |
| Fecha de publicación : | 2008 3 |
| Resumen : | Propuestas de tecnica analisis de propiedades estructurales de verificacion algoritmica o model checking y su implementacion en los proyectos productivos de la Universidad de las Ciencias Informaticas. |
| URI : | https://repositorio.uci.cu/jspui/handle/ident/TD_1661_08 |
| Aparece en las colecciones: | Trabajos de Diploma(Hasta Enero-2016) |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| TD_1661_08.pdf Restricted Access | 722.62 kB | Adobe PDF | Visualizar/Abrir |
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.