Tomando como base conocimientos adquiridos en investigaciones anteriores, las presentes líneas de investigación abordan distintas temáticas en la mejora de procesos software, centrando el estudio en: (1) mejoras a procesos específicos (Especificación de Requisitos, Desarrollo Global de Software); (2) definición y validación de técnicas para evaluación de composiciones en dominios específicos (Sistemas de Información Geográficos, Gobierno Electrónico); y (3) evaluación de atributos de calidad específicos (Integrabilidad, Accesibilidad). Los resultados obtenidos a partir de las líneas citadas están siendo integrados en herramientas de software que faciliten las actividades de verificación de propiedades y búsqueda. Los objetivos continúan varias actividades de cooperación iniciadas en proyectos ya finalizados, entre ellos el proyecto CyTED Competisoft, http://alarcos.inf-cr.uclm.es/Competisoft/.