000			01827nmm a2200241 a 4500
008			160202e2018 ck |||fq||d| 00| 0 spa d
082	0	4	_a003 _bL879e _223
100	1		_aLosada Calderón, Hernán Felipe. _99861
245	1	3	_aEB2Python - Traducción automática de especificaciones Event-B en Rodin a Python _h[Recurso Electrónico] / _cHernán Felipe Losada Calderón.
260			_aBogotá (Colombia): _bEscuela Colombiana de Ingeniería Julio Garavito, _c2018
300			_a36 paginas. _bgráficos.
502	1		_aTesis (Ingeniero de Sistemas)
520	1		_aEvent-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 representar diferentes niveles de abstracción en los modelos y un sistema de prueba para verificar la consistencia dichos modelos. Este documento presenta una algoritmo para generar programas en el lenguaje de programación Python a partir de modelos Event-B correctos. El algoritmo presentado aquí es la composición de reglas de traducción; incluye soporte para relaciones, expresiones numéricas y enumeraciones. El código puede ser generado para ejecución secuencial o concurrente (por medio de hilos). Un ejemplo ilustra la traducción de código y su ejecución como programa en el lenguaje de programación Python.
650		0	_aALGORITMOS _988
650		0	_aPYTHON (LENGUAJE DE PROGRAMACIÓN PARA COMPUTADORES) _93894
650		0	_aMODELOS EVENT-B _93363
650		0	_aTESIS Y DISERTACIONES ACADÉMICAS _9931
700			_aRocha Niño, Hernan Camilo _edirector. _921469
700			_aGarzón, Wilmer _eco director. _966941
856			_uhttps://repositorio.escuelaing.edu.co/handle/001/789
942			_2ddc _cTE
999			_c21462 _d21462