EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python (Registro nro. 21462)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 01827nmm a2200241 a 4500 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 160202e2018 ck |||fq||d| 00| 0 spa d |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación Decimal | 003 |
| Número de documento (Cutter) | L879e |
| Número de edición DEWEY | 23 |
| 100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
| Nombre de persona | Losada Calderón, Hernán Felipe. |
| 9 (RLIN) | 9861 |
| 245 13 - TÍTULO PROPIAMENTE DICHO | |
| Título | EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python |
| Medio físico | [Recurso Electrónico] / |
| Mención de responsabilidad, etc. | Hernán Felipe Losada Calderón. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | Bogotá (Colombia): |
| Nombre del editor, distribuidor, etc. | Escuela Colombiana de Ingeniería Julio Garavito, |
| Fecha de publicación, distribución, etc. | 2018 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 36 paginas. |
| Otros detalles físicos | gráficos. |
| 502 1# - NOTA DE TESIS | |
| Nota de Disertaciones | Tesis (Ingeniero de Sistemas) |
| 520 1# - RESUMEN, ETC. | |
| Nota de sumario, etc. | 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<br/>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 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | ALGORITMOS |
| 9 (RLIN) | 88 |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | PYTHON (LENGUAJE DE PROGRAMACIÓN PARA COMPUTADORES) |
| 9 (RLIN) | 3894 |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | MODELOS EVENT-B |
| 9 (RLIN) | 3363 |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | TESIS Y DISERTACIONES ACADÉMICAS |
| 9 (RLIN) | 931 |
| 700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | Rocha Niño, Hernan Camilo |
| Término relacionador | director. |
| 9 (RLIN) | 21469 |
| 700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | Garzón, Wilmer |
| Término relacionador | co director. |
| 9 (RLIN) | 66941 |
| 856 ## - ACCESO ELECTRÓNICO | |
| Identificador uniforme del recurso URI | https://repositorio.escuelaing.edu.co/handle/001/789 |
| 942 ## - ELEMENTOS KOHA | |
| Fuente de clasificación o esquema de ordenación en estanterías | |
| Koha tipo de item | TRABAJOS DE GRADO |
| Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Estado | Localización permanente | Localización actual | Colección | Fecha adquisición | Proveedor | Forma de Adq | Precio normal de compra | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Número de ejemplar | Propiedades de Préstamo KOHA | Formato de Material | Programa Académico |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo Normal | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | Fondo general | 2018-08-01 | Ingeniería de sistemas | Donación | 0.00 | Ej.1 | 003 L879e Ts | D001267 | 2018-08-01 | 1 | TRABAJOS DE GRADO | Colección General | Ingenieria Sistemas |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.