Deconstructing GAs into visual software components LP Garzón-Rodriguez, HA Diosa, S Rojas-Galeano Proceedings of the Companion Publication of the 2015 Annual Conference on …, 2015 | 5 | 2015 |
Especificación de un modelo de referencia arquitectural de software a nivel de configuración, estructura y comportamiento HA Diosa PhD o thesis, Universidad del Valle. Doctorado en Ingeniería con Enfasis en …, 2008 | 5 | 2008 |
The Kite Model for Assessment of Academic Software Products HA Diosa, SR Galeano, M Melgarejo Revista de ingeniería, Universidad Distrital Francisco José de Caldas 18 (2), 2013 | 4* | 2013 |
Towards a component-based software architecture for genetic algorithms LG Rodríguez, HA Diosa, S Rojas-Galeano 2014 9th Computing Colombian Conference (9CCC), 1-6, 2014 | 3 | 2014 |
Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo− Parq HA Diosa, JFD Frías, CMG Cuevas Revista Científica, 156-171, 2010 | 3 | 2010 |
Publicación web de trabajos de investigación usando Lenguaje de Marcado Extensible HA Diosa Ingeniería 6 (2), 35-41, 2001 | 2 | 2001 |
Methodological hybrid SOA+ CBSD for services oriented software development CDA Maldonado, LAC Nieto, DSP Cala, HA Diosa 2015 10th Computing Colombian Conference (10CCC), 86-92, 2015 | 1 | 2015 |
La universidad que vivimos... una ruta para lograr la universidad que soñamos... H Diosa Ingeniería 19 (1), 2014 | 1 | 2014 |
Una arquitectura de software para la gestión de historias clínicas electrónicas soportada en tecnologías web HA Diosa, CAI Peña, TB González Ingeniería 7 (2), 39-44, 2002 | 1 | 2002 |
Sistema de información soporte a sistemas de abastecimiento y seguridad alimentaria: Arquitectura de referencia prescriptiva HA Diosa Universidad Distrital Francisco José de Caldas, 2019 | | 2019 |
Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through Calculus OJ Puentes, HA Diosa Workshop on Engineering Applications, 393-405, 2018 | | 2018 |
PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures JAR García, HA Diosa Workshop on Engineering Applications, 15-26, 2016 | | 2016 |
1. Justificación HA Diosa | | 2010 |
FACULTAD DE INGENIERÍA CONSEJO DE MAESTRÍA MAESTRÍA EN CIENCIAS DE LA INFORMACION Y LAS COMUNICACIONES ACTA No. 044-2010 HA DIOSA UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS, 2010 | | 2010 |
Simulacion de un entorno socio-economico de abastecimiento alimentario usando agentes de software y sistemas suaves LFG Munoz, JDV Gutiérrez, HA Diosa | | |
Simulation of agri-food socioeconomic settings using soft systems and software agents LFG Munoz, JDV Gutiérrez, HA Diosa | | |
Especificación Formal de Arquitecturas de Software Basadas en Componentes: Chequeo de corrección con HA Diosa, CM Gaona | | |
The KITE Model for Assessment of Academic Software Products MA Melgarejo Rey, HA Diosa, SA Rojas Galeano Universidad Distrital Francisco José de Caldas, 0 | | |
Formal Specification of Component-Based Software Architectures: Correctness Checking with Parq− Calculus CM Gaona Cuevas, JF Díaz Frías, HA Diosa Universidad Distrital Francisco José de Caldas, 0 | | |
The university we live: A path to the university we dream. H Diosa Universidad Distrital Francisco José de Caldas, 0 | | |