Especificación de Sistemas Software en Entornos Multi-Perspectiva

El desarrollo de un sistema software complejo implica el trabajo conjunto y colaborativo de un grupo numeroso de personas, tales como usuarios, responsables de gestión y desarrolladores software, donde cada uno de ellos constituye una fuente potencial de conocimiento. De este modo, la necesidad de describir sistemas software complejos a partir de diferentes perspectivas puede derivar en la construcción de muchos modelos parciales de diseño del sistema. Como resultado, estas distintas perspectivas puede que se solapen, dando lugar a la posibilidad de aparición de conflictos. Aunque las inconsistencias tendrán que ser finalmente resueltas, puede que sea necesario que las mismas sean toleradas con carácter temporal ofreciendo así la oportunidad a los diseñadores de trabajar de forma independiente en el desarrollo de sus fragmentos del modelo sin necesidad de una reconciliación continua. Con esta motivación, hemos definido una metodología formal (MultiSpec) que soporta la evolución de especificaciones de requisitos software. Está basada en el paradigma multi-perspectiva y formaliza el razonamiento en presencia de conflictos e incompletitud empleando una lógica subyacente multivalorada.

Autorentext

Es profesora del Departamento de Ingeniería Telemática de laUniversidad de Vigo (España) desde el año 2000 y DoctoraIngeniera de Telecomunicación (2007), cuya tesis doctoral seenmarca en el ámbito de la Ingeniería del Software. Suinvestigación se ha centrado en las técnicas y métodos formalesusados en la especificación de requisitos.