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 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
4 2015 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 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
2 2013 Publicación web de trabajos de investigación usando Lenguaje de Marcado Extensible HA Diosa
Ingeniería 6 (2), 35-41, 2001
2 2001 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 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 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
2015 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
UNA REVISIÓN CONCEPTUAL AL CALCULO− π HA DIOSA