Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.uci.cu/jspui/handle/ident/TD_1323_08| Título : | Tecnicas Formales para la evaluacion de factores externos de calidad del software. |
| Autor : | Morales Alamo, Yadira Jiménez Moreira, Maikel Lazaro Leyva Leyva, David Cañete Pollán, Susel Tamayo Ávila, Daymy |
| Palabras clave : | COMPUTACION;INFORMATICA;DESARROLLO DE SOFTWARE;INGENIERIA DE SOFTWARE;INTEGRIDAD DEL SOFTWARE;CALIDAD DEL SOFTWARE |
| Fecha de publicación : | 2008 5 |
| Resumen : | Propuesta de tecnicas formales y de las herramientas basadas en ellas, que mas se ajustan al proceso de desarrollo de software en la Universidad de las Ciencias Informaticas, con el objetivo de aumentar su correccion, eficiencia e integridad. |
| URI : | https://repositorio.uci.cu/jspui/handle/ident/TD_1323_08 |
| Aparece en las colecciones: | Trabajos de Diploma(Hasta Enero-2016) |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| TD_1323_08.pdf Restricted Access | 1.14 MB | 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.