Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.uci.cu/jspui/handle/ident/TD_0900_07
Título : Tecnicas Formales para el Analisis y Prediccion del comportamiento Fiable del Software.
Autor : Arocha Chang, Yaima
Cañete Pollán, Susel
Leyva Leyva, David
Tamayo Ávila, Daymy
Palabras clave : INFORMATICA;DESARROLLO DE SOFTWARE;PRODUCCION;FIABILIDAD;CONTROL DE LA CALIDAD;TECNICAS;HERRAMIENTAS;ESTANDARES
Fecha de publicación : 2007
1
Resumen : En el transcurso de los ultimos anos la produccion de software ha ocupado un lugar significativo en el ambito economico mundial. Sin embargo estos productos presentan un problema comun, no tienen suficiente calidad y uno de los factores que mas influye es la fiabilidad. Con este trabajo Tecnicas Formales para el analisis y la prediccion del comportamiento fiable del software se pretende contribuir a aumentar la fiabilidad en la produccion del software en la Universidad de las Ciencias Informaticas.Para ello, se estudiaron las tecnicas mas utilizadas actualmente en el desarrollo del software fundamentalmente las tecnicas formales, asi como las herramientas orientadas al trabajo con ellas. Ademas se analizaron algunas metricas que se utilizan para prevenir los fallos en el sistema.Finalmente se presento una propuesta que consiste en la aplicacion de tecnicas formales, herramientas y metricas que proporcionaran que el software en la UCI aumente su fiabilidad.
URI : https://repositorio.uci.cu/jspui/handle/ident/TD_0900_07
Aparece en las colecciones: Trabajos de Diploma(Hasta Enero-2016)

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
TD_0900_07.pdf
  Restricted Access
748.25 kBAdobe PDFVisualizar/Abrir


Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.