InSCo. Un modelo de proceso para la integración entre la ingeniería del software y la ingeniería del conocimiento

El objetivo general del trabajo de investigación presentado en esta memoria es la propuesta de un modelo de proceso para el desarrollo de un sistema híbrido, que llamaremos modelo de proceso InSCo; siendo un sistema híbrido aquel que presenta un comportamiento integrado donde colaboran componentes software basadas en conocimiento y no basadas en conocimiento. La propuesta del modelo de proceso InSCo define las actividades fundamentales y artefactos generados en la ejecución del proceso, prestando atención a los modelos construidos y técnicas utilizables en cada actividad. Aunque se hace una propuesta global que abarca todo el proceso de desarrollo, el trabajo de esta tesis se centra en describir detalladamente las actividades del nivel conceptual. El modelo InSCo permitirá la fusión de metodologías heredadas de la Ingeniería del Conocimiento (InCo) y de la Ingeniería del Software (InSo), teniendo por objetivo integrar bajo una misma descripción las técnicas y métodos utilizados y aprendidos por los profesionales de ambas ingenierías. No se plantea la construcción de una nueva metodología, porque los ingenieros son ya usuarios de alguna de ellas y trasladarse a un nuevo enfoque creemos que no es una propuesta viable por el coste que supone el cambio. De esta manera se facilitará la implantación de InSCo. Este modelo guiará la construcción de sistemas software híbridos en los que las soluciones deben venir de la mano de software basado en conocimiento, puesto que se han de resolver problemas poco estructurados con requerimientos subjetivos y donde la incertidumbre, la incompletitud y la inconsistencia son el común denominador; pero además tenemos que integrar en la solución primero.

Flujo de trabajo para la experimentación colaborativa en Ingeniería del Software guiada por búsqueda

La Ingeniería del Software Guiada por Búsqueda persigue reformular problemas de Ingeniería del Software que a menudo comprenden objetivos en conflicto, como problemas de optimización. Así, las técnicas que se aplican en esta disciplina buscan una o un conjunto de soluciones casi-óptimas en un espacio de soluciones candidatas con la ayuda de una función de aptitud que les permita distinguir las mejores soluciones. La naturaleza estocástica de los algoritmos de optimización requiere de la repetición de las búsquedas para mitigar los efectos de la aleatoriedad. A la hora de comparar algoritmos, el investigador comparará los resultados con mejor calidad (mejores valores en la función de aptitud, en indicadores de calidad y rendimiento) devueltos en las búsquedas, lo que conlleva un trabajo adicional por parte del investigador. La sobrecarga que implica esta actividad puede aminorarse si la experimentación se enfoca de manera colaborativa. Este artículo propone un flujo de trabajo para la experimentación colaborativa basado en resultados e indicadores de calidad y rendimiento.

¿Es la ingeniería del software una ingeniería madura?

La construcción en 1946 del primer computador electrónico de uso general que funcionó satisfactoriamente, el ENIAC, se puede tomar como el de punto de la historia del hardware y el software, esto implica cincuenta años de desarrollo en estas dos áreas. Durante los primeros años del hardware, el principal reto era incrementarlo de forma que se redujera el costo de procesamiento y almacenamiento de datos, lo cual se logró a lo largo de la década de los años 80 con los grandes avances en microelectrónica. Hoy el problema es diferente el principal objetivo es producir software de calidad, reusable, económico, fácil de mantener y confiable, pero aún no se ha logrado un avance comparable al de la microelectrónica que permita al software alcanzar los niveles del hardware.

Ingeniería del software e ingeniería del conocimiento. Dos disciplinas interrelacionadas

El libro que ahora nos ocupa, titulado “Ingeniería de Software e Ingeniería del Conocimiento: dos disciplinas interrelacionadas” surge con los aportes de una gran cantidad de grupos iberoamericanos que presentan conclusiones importantes sobre estas dos disciplinas. Se presentan proyectos en diferentes temas, como entornos virtuales de aprendizaje, transferencia del conocimiento, modelos y metodologías del software como PSP y Scrum, elementos de ingeniería de requisitos, arquitecturas y lenguajes, además de varias técnicas y estrategias de enseñanza y tendencias modernas como Semat. Todos estos temas se conjugan y, en ocasiones, sus límites se hacen borrosos entre las dos disciplinas que dan nombre a este libro, entregando en 22 Capítulos aportes de gran relevancia para el entorno científico Iberoamericano. Confiamos en que las contribuciones que se incluyen en este libro susciten nuevas maneras de aproximar aún más la Ingeniería de Software y la Ingeniería del Conocimiento, como áreas que tienen mucho que aportarse la una a la otra.

Aplicación de una herramienta de modelado en dinámica de sistemas para la estimación de costos de proyectos en licitaciones de servicios de ingeniería de software y sistemas de información en Colombia

51 p.

Diseño de curso virtual para apoyar el proceso de E-A de la disciplina de ingeniería de gestión de software en la universidad de ciencias informáticas.

Resumen tomado de la publicación

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

El software libre al servicio de la economía productiva : Caso real de implantación de un ERP en una micro PYME

Este trabajo de fin de grado intenta, mediante el caso real de la implantación de un ERP en una micro PYME, ajustar a la realidad socioeconómica de la gran mayoría de empresas españolas las técnicas de implantación de software y de gestión de proyectos, usando como elemento conductor un ERP de software libre, para conseguir el triple objetivo de mantener los ratios de calidad deseados en cualquier proyecto de ingeniería de software, con unos costes asumibles por una micro PYME y satisfaciendo las necesidades de negocio.

Métricas de productividad del software para la gestión de proyectos

En la preparación de todo proyecto existe una estimación de costes de los diferentes puntos a realizar. Las métricas del software pueden ser de: productividad, calidad, técnicas, orientadas al tamaño, orientadas a la función u orientadas a la persona. Este documento tratará sobre las métricas del software, que se centran en el rendimiento del proceso de la ingeniería del software.

Administración y control de hardware y software para las medianas y grandes empresas en la ciudad de Bogotá

El bajo costo de los elementos utilizados en computación han permitido que cualquier entidad organizacional pueda dotar a la gran mayoría de sus empleados con herramientas de cómputo. Esto ha generado que la Administración y Control de los elementos

Reflexiones preliminares de la teoría de la actividad y el desarrollo del software educativo.

Resumen en inglés. Resumen tomado de la publicación

Aportaciones al desarrollo de una ingeniería de contenidos docentes

Programa de doctorado: Sistemas inteligentes y aplicaciones numéricas en ingeniería.

Software Design Guidelines for Usability

For years, the Human Computer Interaction (HCI) community has crafted usability guidelines that clearly define what characteristics a software system should have in order to be easy to use. However, in the Software Engineering (SE) community keep falling short of successfully incorporating these recommendations into software projects. From a SE perspective, the process of incorporating usability features into software is not always straightforward, as a large number of these features have heavy implications in the underlying software architecture. For example, successfully including an “undo” feature in an application requires the design and implementation of many complex interrelated data structures and functionalities. Our work is focused upon providing developers with a set of software design patterns to assist them in the process of designing more usable software. This would contribute to the proper inclusion of specific usability features with high impact on the software design. Preliminary validation data show that usage of the guidelines also has positive effects on development time and overall software design quality.

Applying the experimental paradigm to software engineering

En este keynote, la Prof. Juristo describe el paradigma experimental y cómo podría aplicarse a la ingeniería del software, destacando los desafíos de su aplicación y los logros conseguidos hasta el momento.

Especificación del comportamiento observable de sistemas software concurrentes

El desarrollo de métodos de especificación formal de sistemas software y de los modelos que los informan, ha sido reconocido como una necesidad básica en la ingeniería del software. En la especificación de sistemas software secuenciales, tanto las especificaciones axiomáticas, como las procedentes de abstracciones(ya sean datos o procedimientos)