Más facilidades que nunca para desarrollar software
La complejidad y el tamaño de los sistemas de software no dejan de aumentar y es preciso contar con soluciones sofisticadas que faciliten las labores de los ingenieros de software. En el proyecto financiado con fondos europeos RIVAR («Interfaces ricas para una reutilización de aspectos verificable») se desarrollaron nuevos métodos dedicados a dividir los problemas en componentes más manejables y recombinar cada una de las soluciones parciales encontradas para dichos retos hasta formar sistemas modulares integrados. Entre las actividades desarrolladas se contó con el análisis de dichos retos mediante un enfoque de programación orientada a aspectos (POA) en el que se tienen en cuenta distintas estrategias de modularización que permiten a los programadores mantener en paralelo las jerarquías de estas estrategias para combinarlas posteriormente en un sistema completo. RIVAR investigó el código fuente de tres sistemas basados en aspectos de gran tamaño y documentó distintos tipos de asunciones específicas realizadas por sus desarrolladores. A continuación las catalogó en un único artículo que puede utilizarse, por ejemplo, para extraer nuevas asunciones en guías de código. El catálogo de tipos de asunciones de este tipo de programación basada en aspectos se publicó en el «Congreso internacional sobre desarrollo de software orientado a aspectos 2011», dedicado al lenguaje AspectJ. Además, el proyecto desarrolló plantillas de expresiones formales de los tipos de asunciones con el objetivo de verificar que una asunción de aspecto puede integrarse con facilidad en un sistema que sirva de base. Los desarrolladores de aspectos pueden utilizar estas plantillas para facilitarse la tarea de crear distintos elementos clave de la ingeniería de software. Muchas de las herramientas disponibles para llevar a buen puerto esta labor se han divulgado en la página web del proyecto, en la que se puede consultar artículos publicados, datos relevantes y otros recursos.
