Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.uci.cu/jspui/handle/ident/TD_0235_07| Título : | Propuesta de un Sistema de Metodos Formales para la Especificacion de Requisitos en los proyectos de la facultad 3. |
| Autor : | Pérez Vieyto, Yanelkys Gamboa Matos, Mindrey Martínez Acosta, Miguel Ángel |
| Palabras clave : | INFORMATICA;INGENIERIA DE SOFTWARE;DESARROLLO DE SOFTWARE;SISTEMAS DE INGENIERIA;CONTROL DE LA CALIDAD;METODOLOGIA;LOGICA;PROYECTOS |
| Fecha de publicación : | 2007 |
| Resumen : | 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. |
| URI : | https://repositorio.uci.cu/jspui/handle/ident/TD_0235_07 |
| 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 |
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.