Nivel de desarrollo de la verificación formal

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.

• Autores: Ariza Vargas, Efilia; Ariza Vargas, Elizabeth
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2016
• Institución: Instituto Tecnológico Metropolitano
• Repositorio: Repositorio ITM
• Idioma: spa
• OAI Identifier: oai:repositorio.itm.edu.co:20.500.12622/6141
• Acceso en línea: http://hdl.handle.net/20.500.12622/6141
• Palabra clave: Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización; Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization; Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/