Tecnicas Formales para la evaluacion de factores externos de calidad del software.

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

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.contributor.author	Morales Alamo, Yadira	en
dc.contributor.author	Jiménez Moreira, Maikel Lazaro	en
dc.contributor.author	Leyva Leyva, David	en
dc.contributor.author	Cañete Pollán, Susel	en
dc.contributor.author	Tamayo Ávila, Daymy	en
dc.date.accessioned	2016-09-14T19:34:24Z	-
dc.date.available	2016-09-14T19:34:24Z	-
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_1323_08	-
dc.description.abstract	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.	en
dc.subject	COMPUTACION	en
dc.subject	INFORMATICA	en
dc.subject	DESARROLLO DE SOFTWARE	en
dc.subject	INGENIERIA DE SOFTWARE	en
dc.subject	INTEGRIDAD DEL SOFTWARE	en
dc.subject	CALIDAD DEL SOFTWARE	en
dc.title	Tecnicas Formales para la evaluacion de factores externos de calidad del software.	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_1323_08.pdf Restricted Access		1.14 MB	Adobe PDF	Visualizar/Abrir