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...

Full description

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

Rights

License

http://creativecommons.org/licenses/by-nc-nd/4.0/