Mostrar el registro sencillo del ítem
EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python
dc.contributor.advisor | Rocha Niño, Hernán Camilo (dir) | spa |
dc.contributor.advisor | Garzón, Wilmer ( Co dir) | spa |
dc.contributor.author | Losada Calderón, Hernán Felipe | spa |
dc.date.accessioned | 2018-08-01T20:46:37Z | spa |
dc.date.accessioned | 2021-10-01T16:04:36Z | |
dc.date.available | 2018-08-01T20:46:37Z | spa |
dc.date.available | 2021-10-01T16:04:36Z | |
dc.date.issued | 2018 | spa |
dc.identifier.uri | https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21462 | spa |
dc.identifier.uri | https://repositorio.escuelaing.edu.co/handle/001/789 | |
dc.description.abstract | 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 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. | spa |
dc.description.abstract | Event-B is a formal method for system-level modeling and analysis based on the correct-by-construction approach. It features set theory as the choice for modeling notation, refinement to represent different abstraction levels in the models, and a proof system to verify the consistency of such models. This document presents an algorithm to generate Python programs from correct Event-B models. The algorithm, presented here as the composition of translation rules, includes support for most of the language's constructs, including relations, numerical expressions, and enumerations. An implmentation in the Python programming language of the translation algorithm is showcased with the help of a running example and a concise case study. | eng |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | spa | spa |
dc.publisher | Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.rights | Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | spa |
dc.subject | Algoritmos | spa |
dc.subject | Python lenguaje de programación | spa |
dc.subject | Modelos Event-B | spa |
dc.title | EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python | spa |
dc.type | Trabajo de grado - Pregrado | spa |
dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
dc.description.degreelevel | Pregrado | spa |
dc.description.degreename | Ingeniero(a) de Sistemas | spa |
dc.publisher.program | Ingeniería de Sistemas | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.rights.creativecommons | Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | spa |
dc.type.content | Text | spa |
dc.type.driver | info:eu-repo/semantics/bachelorThesis | spa |
dc.type.redcol | http://purl.org/redcol/resource_type/TP | spa |
dc.subject.keywords | Algorithms | spa |
dc.subject.keywords | Python programming language | spa |
dc.subject.keywords | Event-B models | spa |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
FA - Trabajos Dirigidos de Sistemas [97]
Trabajos del Pregrado en Ingeniería de Sistemas de la Escuela Colombiana de Ingeniería Julio Garavito