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