Buscar
Mostrando ítems 1-10 de 88
A Spin / Promela Application for Model checking UML Sequence Diagrams
(2018)
UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...
An Spin / Promela application for model checking UML sequence diagrams
(Science and Information Organization, 2018)
Modelling ETL processes of data warehouses with UML activity diagrams
(11/09/2008)
Extraction-transformation-loading (ETL) processes play an important role in a data warehouse (DW) architecture because they are responsible of integrating data from heterogeneous data sources into the DW repository. ...
UN MÉTODO DE INGENIERÍA INVERSA DE CÓDIGO JAVA HACIA DIAGRAMAS DE SECUENCIAS DE UML 2.0
(Fondo Editorial EIA - Universidad EIA, 2013-10-04)
La Ingeniería inversa de software aparece como un proceso que ayuda al aseguramiento de la calidad y documentación de aplicaciones con deficiencias en los modelos de análisis y diseño. Además, ayuda en la disminución de ...
Enhancing UML expressivity towards automatic code generation
(BrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionais, 2017)
Un método de ingeniería inversa de código JAVA hacia diagramas de secuencias de UML 2.0
(Administrativa, Financiera, Sistemas y ComputaciónEscuela de Ingeniería de Antioquia EIA, 2014-05-09)
Software reverse engineering seems to be the process for helping software quality assurance and
documentation in applications with low-quality analysis and design models. It also helps for decreasing
maintenance cost and ...
Extensão de um editor genérico de diagramas para suporte a diagramas da UML
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilTecnologia em Análise e Desenvolvimento de SistemasUTFPR, 2013)
The existing UML modeling software does not work properly with basic assistive technologies used by visually impaired students. So, the need arose to extend the capabilities of an existing generic diagram editor to create ...