Maestría en Ingeniería
Permanent URI for this collection
Browse
Browsing Maestría en Ingeniería by Author "Cataño Collazos, Néstor"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Evaluación del desempeño del generador de código EventB2Java(Pontificia Universidad Javeriana Cali, 2014) Hernández Gómez, Carlos Andrés; Cataño Collazos, NéstorEn este documento se presenta un caso de estudio que permitió evaluar el desempeño de la herramienta EventB2Java; dicho caso consistió en modelar formalmente un módulo de inventarios que fue traducido a código Java+JML y que posteriormente se incorporó en elsoftware opensource Openbravo POS, la evaluación del desempeño se realizó comparandola versi_on original del mismo vs la medicada. En este trabajo también se mejoró elrendimiento del conjunto de clases que usa la herramienta haciendo uso de los objetosdisponibles en el SDK de Java y se presentan las reglas de traducción y el análisis previollevado a cabo para traducir de un modelo en Event-B a código Java + especificaciónen JML.