Nivel de desarrollo de la verificación formal
QRCode
Share this
Date
2016Advisor
Citation
Metadata
Show full item recordPDF Documents
Title
Level of development of formal verification
Abstract
Los métodos formales se utilizan mayoritariamente para especificar y validar productos de software crítico, y poco a poco comienzan a penetrar la Ingeniería del Software tradicional para el desarrollo de aplicaciones de todo tipo. Uno de sus inconvenientes es la falta de conocimiento matemático que tienen los profesionales para aplicarlos en sus procesos. En este proyecto se busca determinar el nivel de desarrollo de la especificación formal hasta el momento, con el objetivo de difundir los resultados a la comunidad académica relacionada. Se hará una búsqueda amplia en la literatura para determinar dicho nivel y luego difundir los resultados para que sean tenidos en cuenta como elemento necesario en los planes de estudio de la Ingeniería del Software.
Palabras clave
Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalizaciónCollections
- Ingeniería de Sistemas [106]