Listar por autor "Garzón, Wilmer ( Co dir)"
Mostrando ítems 1-1 de 1
-
EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python
Losada Calderón, Hernán Felipe (Escuela Colombiana de Ingeniería Julio GaravitoIngeniería de Sistemas, 2018)Event-B es un método formal para el modelado y análisis de sistemas basado en el enfoque de corrección por construcción. Presenta un conjunto de teorías como la elección para la notación de modelado, el refinamiento para ...