Biblioteca
Normal view MARC view ISBD view

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python [Recurso Electrónico] / Hernán Felipe Losada Calderón.

By: Losada Calderón, Hernán Felipe.
Contributor(s): Rocha Niño, Hernan Camilo [dir.] | Garzón, Wilmer [co dir.].
Material type: materialTypeLabelComputer filePublisher: Bogotá (Colombia): Escuela Colombiana de Ingeniería Julio Garavito, 2018Description: 36 p.: gráf.Subject(s): ALGORITMOS | PYTHON (LENGUAJE DE PROGRAMACIÓN PARA COMPUTADORES) | MODELOS EVENT-B | TESIS Y DISERTACIONES ACADÉMICASDDC classification: 003 Online resources: Click here to access online Dissertation note: Tesis (Ingeniero de Sistemas) Review: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Vol info Copy number Status Date due Barcode Item holds
TRABAJOS DE GRADO TRABAJOS DE GRADO Biblioteca Jorge Álvarez Lleras
Fondo general
003 L879e Ts (Browse shelf) Ej.1 1 Available D001267
Total holds: 0

Tesis (Ingeniero de Sistemas)

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.

There are no comments for this item.

Log in to your account to post a comment.

Click on an image to view it in the image viewer