Evaluación del desempeño del generador de código EventB2Java

Simple item page
dc.contributor.advisorCataño Collazos, Néstor
dc.contributor.authorHernández Gómez, Carlos Andrés
dc.date.accessioned2024-06-06T21:18:33Z
dc.date.available2024-06-06T21:18:33Z
dc.date.issued2014
dc.description.abstractEn 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.
dc.description.abstractengIn this document, a case study is presented which evaluated the performance of theEventB2Java tool. In the case study, which consisted of formally modeling a moduleof inventories translated to Java + JML code and later incorporating it into the opensource Openbravos POS software, the performance evaluation was done by comparingthe original version of the code vs the modi_ed version. In this evaluation we found thatthe modi_ed version did improve the rendition of classes using the aforementioned tool.
dc.format.extent143 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://vitela.javerianacali.edu.co/handle/11522/1919
dc.language.isospa
dc.publisherPontificia Universidad Javeriana Cali
dc.rights.accessrightshttp://purl.org/coar/access_right/c_abf2
dc.rights.creativecommonshttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectEvent-B
dc.subjectEventB2Java
dc.subjectRodin
dc.subjectJML
dc.subjectOpenbravo
dc.subjectPOS
dc.thesis.disciplineFacultad de Ingeniería y Ciencias. Maestría en Ingeniería
dc.thesis.grantorPontificia Universidad Javeriana Cali
dc.thesis.levelMaestría
dc.titleEvaluación del desempeño del generador de código EventB2Javaspa
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.localTesis/Trabajo de grado - Monografía - Maestría
dc.type.redcolhttps://purl.org/redcol/resource_type/TM
Files
Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
Evaluación_Desempeño_Código EventB2Java.pdf
Size:
4.27 MB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
licencia de uso.pdf
Size:
789.07 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
Maestría en Ingeniería