Browsing by Author "Rocha Niño, Hernán Camilo (dir)"
Now showing items 1-1 of 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 ...