Tecnicas Formales en procesos de desarrollo de Software Libre.

Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.uci.cu/jspui/handle/ident/TD_1281_08

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.contributor.author	Bravo Fernández, Kirenia	en
dc.contributor.author	Babastro Rodríguez, Daniar	en
dc.contributor.author	Cañete Pollán, Susel	en
dc.contributor.author	Tamayo Ávila, Daymy	en
dc.contributor.author	Leyva Leyva, David	en
dc.date.accessioned	2016-09-14T19:01:48Z	-
dc.date.available	2016-09-14T19:01:48Z	-
dc.date.created	2008	en
dc.date.issued	2008	en
dc.date.issued	5	en
dc.identifier.uri	https://repositorio.uci.cu/jspui/handle/ident/TD_1281_08	-
dc.description.abstract	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.	en
dc.subject	COMPUTACION	en
dc.subject	INFORMATICA	en
dc.subject	DESARROLLO DE SOFTWARE	en
dc.subject	SOFTWARE LIBRE	en
dc.subject	TECNICAS	en
dc.subject	TECNICAS FORMALES	en
dc.title	Tecnicas Formales en procesos de desarrollo de Software Libre.	en
dc.type	bachelorThesis
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