Propuesta de un Sistema de Metodos Formales para la Especificacion de Requisitos en los proyectos de la facultad 3.

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

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.contributor.author	Pérez Vieyto, Yanelkys	en
dc.contributor.author	Gamboa Matos, Mindrey	en
dc.contributor.author	Martínez Acosta, Miguel Ángel	en
dc.date.accessioned	2016-09-14T19:01:20Z	-
dc.date.available	2016-09-14T19:01:20Z	-
dc.date.created	2007	en
dc.date.issued	2007	en
dc.identifier.uri	https://repositorio.uci.cu/jspui/handle/ident/TD_0235_07	-
dc.description.abstract	Esta investigacion propone un Sistema de Metodos Formales para la Especificacion de Requisitos utilizando OCL como lenguaje base para la especificacion y agregando Z y Lotos para la especificacion de requisitos criticos.	en
dc.subject	INFORMATICA	en
dc.subject	INGENIERIA DE SOFTWARE	en
dc.subject	DESARROLLO DE SOFTWARE	en
dc.subject	SISTEMAS DE INGENIERIA	en
dc.subject	CONTROL DE LA CALIDAD	en
dc.subject	METODOLOGIA	en
dc.subject	LOGICA	en
dc.subject	PROYECTOS	en
dc.title	Propuesta de un Sistema de Metodos Formales para la Especificacion de Requisitos en los proyectos de la facultad 3.	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_0235_07.pdf Restricted Access		589.27 kB	Adobe PDF	Visualizar/Abrir