Henry Alberto Diosa

According to our database, Henry Alberto Diosa authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2018

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ_arq Calculus.

Oscar Javier Puentes, Henry Alberto Diosa

Proceedings of the Applied Computer Sciences in Engineering, 2018

2016

PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures.

Jorge Alejandro Rico García, Henry Alberto Diosa

Proceedings of the Applied Computer Sciences in Engineering, 2016

2015

Deconstructing GAs into Visual Software Components.

Leidy Patricia Garzón-Rodriguez, Henry Alberto Diosa, Sergio Rojas Galeano

Proceedings of the Genetic and Evolutionary Computation Conference, 2015