El cálculo ρ-arq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. Subyace la idea de contar con 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 su semántica operacional. 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. En consecuencia, se logra el diseño de configuraciones de componentes traducibles al cálculo. Adicionalmente, esta notación permite representar aspectos dinámicos de manera consistente con otras propuestas de modelado de sistemas distribuidos basados en componentes de software.

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.

Se propone un método formal para el chequeo de corrección de arquitecturas de software basadas en componentes. Estos 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 propuesta por Robin Milner y sus colaboradores en la Universidad de Cambridge.

Algunas universidades colombianas han integrado a sus currículos la formación en Ingeniería de Software como un énfasis en la etapa de formación profesional. Normalmente, solo logran una formación parcial de sus estudiantes en alguna de sus áreas de conocimiento; sin embargo, se ha venido comprendiendo que la complejidad, extensión temática y profundidad conceptual constituyen una disciplina que amerita formular currículos de formación pregradual y postgradual, acordes con las recomendaciones emanadas por organizaciones ingenieriles de carácter internacional. En este trabajo se recoge la percepción del autor sobre los alcances de formación pregradual y postgradual en Ingeniería de Software y propone un modelo sintético que tiene en cuenta una categorización de áreas de conocimiento, la naturaleza del conocimiento abordado y los niveles cognitivos de Bloom. Adicionalmente, presenta una serie de lineamientos curriculares en concordancia con el contexto internacional. Es un libro que puede ser útil para aquellos que ejercen la disciplina, para identificar los retos de idoneidad esperada por la industria; para los que formulan planes de estudio y currículos relacionados con la disciplina, al proponerles un modelo de referencia que puede servir de guía, y para los empresarios del software, que deben establecer las metas de evolución de los profesionales que los apoyan para ser más competitivos. La publicación fue efectuada por la Editorial UD de la Universidad Distrital Francisco José de Caldas y se puede acceder a éste a través del enlace que aparece arriba.

This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. This process was made through the translation of the system definition, structure and behavior, to Atomic Propositions Transition System (APTS), upon which, the verification of one property was performed using LTL. The PintArq software application was extended to support this mechanism. One example ilustrates the verification of responsiveness, a subtype of liveness property.

This paper exposes the experiences and results about the application of a proposal to manage the development of applications conform to oriented services architectural reference model from models driven engineering, it integrates several methodologies for planning and project management, to guide the principles of software development around the business processes and services composition, it is using Component-Based Software Development (CBSD) to identify, design and to build the components and interfaces of the system that provide and require services. The proposal took a study case based on development of a Academic Management System’s basic module with a persistence model dependent a distributed database system.

Resume uno de los resultados del grupo de investigación en las temáticas de especificación formal de software basada en álgebras de procesos. Fue 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.

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. The model admits both geometric and numeric interpretations, enabling decision makers to analyze profiles of software productivity for a particular academic unit from a quantitative or qualitative viewpoint. The ratings, which enable software to be scored regarding each determinant, are also described. Following the model, preliminary test lists are sketched as a proposal of measurement instruments for these scores.

he 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.

Las primeras actividades del grupo de investigación generaron resultados relacionados con software para la gestión de historias clínicas electrónicas. Uno de los proyectos asumió el desarrollo de un sistema de "Gestión de Historias Clínicas Electrónicas Soportado en Tecnologías WEB", esta aplicación propuso un posible soporte al tratamiento y gestión de las historias clínicas dentro de una Institución Prestadora de Servicios de Salud (IPS), específicamente en el marco de la consulta médica general o consulta externa, mediante la utilización de herramientas de software que giran alrededor de la WEB, tales como: Java, JSP (Java Server Pages), XML (Extensible Markup Language) y tecnologías asociadas.