Publicaciones

Mes Documents
Nom Taille
A Visualizer of Architectural Execution Flow for Component-Based Software Architectures
Resultado de investigación publicado en "Applied Computer Sciences in Engineering" del CCIS de Springer-Verlag como parte del libro resultado del evento "Third Workshop on Engineering Applications" del año 2016. Esta publicación muestra los avances del Grupo de Investigación en las temáticas de especificación formal de software basada en álgebras de procesos. Para consultar el artículo de investigación puede consultar la sección de Publicaciones en este sitio web.
212k
Cálculo para el modelado formal de arquitecturas de software basadas en componentes
El cálculo ρ-arq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. La idea subyacente es partir de una configuración estática inicial que sólo es susceptible de pasar a una nueva configuración por medio de la aplicación de reglas de la semántica operacional del formalismo desarrollado. Para dar más alcance semántico a los diagramas de componentes en UML 2.x se propone una extensión estereotipada de la notación gráfica.
327k
------------------ Deconstructing GAs into visual software components -----------------
We envisage Genetic Algorithms (GA) as search-based optimisation techniques encompassing independent bio-inspired operators and representations that are realizable as self-contained deployable computational units. This paper was selected and published in GECCO'2015 ACM Proceedings.
657k
Especificación formal de arquitecturas de software basadas en componentes (chequeo de corrección con cálculo ρ-arq)
Se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Los modelos son especificados por medio del cálculo ρ-arq. Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transición Rotulado ampliado con el concepto de transición condicionada para variables lógicas cuya resolución podría obtenerse desde un repositorio global de restricciones. La segunda, la teoría de equivalencia de observación.
376k
Híbrido metodologico SOA + DSBC para el desarrollo de software orientado a servicios
Se reporta el desarrollo de un prototipo de aplicacion para la gestión académica en una universidad con bases de datos distribuidas, conforme al modelo de referencia arquitectónico orientado a servicios desde un enfoque de desarrollo dirigido por modelos, integrando varias metodologías para la planeacion y gestión del proyecto, para guiar los principios del desarrollo alrededor de procesos de negocio y composicion de servicios y usando el desarrollo de software basado en componentes.
9,5MB
Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. The paper was published in "Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, Proceedings WEA 2018. Part 1. Medellín, Colombia, October 17-19, 2018".
176k
---------------- The KITE Model for assessment of academic software products --------------
We reflect on the topic of assessing the merit of software products developed by research groups within the academia. To this end, a model is proposed to define the score of an arbitrary software product. The model consists of four determinants, namely new knowledge dissemination effect (K), impact in target population (I), technological innovation (T), and engineering achievement (E). These determinants are integrated into a ”KITE” graphical model.
126k
Towards a Component-based Software Architecture for Genetic Algorithms
The paper describes the analysis and design principles used, the obtained architecture, the resulting component specification and closes with a discussion about the benefits of this approach, as well as initial steps towards its implementation in a user-friendly platform for component-based visual programming.
1,3MB
Una arquitectura de software para la gestión de historias clínicas electrónicas soportadas en tecnologías web
En sus inicios, el grupo de investigación Arquisoft realizó varios proyectos enfocados a la gestión de historias clínicas electrónicas. Uno de estos se correspondió con un sistema de "Gestión de Historias Clínicas Electrónicas Soportado en Tecnologías WEB" que podría ser útil a cualquier Institución Prestadora de Servicios de Salud (IPS), específicamente en el marco de la consulta médica general o consulta externa.
634k
— 20 Articles par la page
Affichage de 9 résultat(s).