Aplicacion de los metodos formales en la Ingenieria de Software.

Abstract

En este trabajo de diploma se hace un estudio de los metodos formales estudiados en otros paises del mundo, asi como algunos lenguajes de especificacion formal que existen y herramientas para el trabajo con dichos metodos con el objetivo de crear una estrategia de trabajo para aplicar los metodos formales en la produccion de software en la universidad. Esta tecnica ofrece muchas ventajas en la modelacion y produccion de software, dada su capacidad de proporcionar un software mas seguro y con menos errores en su desarrollo, logrando una mayor calidad en los mismos. Para esto se investigo sobre los temas relacionados con estos metodos y que se imparten en otras asignaturas de la carrera y se vinculan con los temas tratados en la ingenieria de software desglosandolo por cada flujo de trabajo. Ademas, desde el punto de vista de la produccion se analizan algunos de los proyectos que se estan realizando en la UCI y se establece si es factible o no, que se utilicen en ellos los metodos formales, para ello tambien se establece cuales son los integrantes de un equipo de desarrollo que deben profundizar los conocimientos formales segun el rol y la etapa en que se desempenan.