Buscar
Mostrando ítems 1-1 de 1
EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python
(Escuela Colombiana de Ingeniería Julio Garavito, 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 ...