Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.uci.cu/jspui/handle/ident/TD_1281_08| Título : | Tecnicas Formales en procesos de desarrollo de Software Libre. |
| Autor : | Bravo Fernández, Kirenia Babastro Rodríguez, Daniar Cañete Pollán, Susel Tamayo Ávila, Daymy Leyva Leyva, David |
| Palabras clave : | COMPUTACION;INFORMATICA;DESARROLLO DE SOFTWARE;SOFTWARE LIBRE;TECNICAS;TECNICAS FORMALES |
| Fecha de publicación : | 2008 5 |
| Resumen : | Se estudian las tecnicas formales que se utilizan actualmente en el proceso de desarrollo de software libre, asi como las herramientas orientadas al trabajo con ellas para obtener mas facilidad y lo mejor de cada una de ellas en las fases de evolucion del sistema. |
| URI : | https://repositorio.uci.cu/jspui/handle/ident/TD_1281_08 |
| Aparece en las colecciones: | Trabajos de Diploma(Hasta Enero-2016) |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| TD_1281_08.pdf Restricted Access | 641.14 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.