X Taller internacional sobre técnicas de modelización visual y transformación de grafos en Saarbrücken (Alemania)

Los días 2 y 3 de abril de 2011 se celebrará en Saarbrücken (Alemania) el X Taller internacional sobre técnicas de modelización visual y transformación de grafos.

Este será un foro en el que investigadores y profesionales interesados en el uso de la notación y diversas técnicas y herramientas basadas en grafos para la especificación, modelización, validación, manipulación y verificación de sistemas complejos. También se abordarán métodos de ingeniería aplicados a lenguajes de modelización visual que mejoren el razonamiento formal a nivel semántico en ámbitos como UML, Petri Nets, la transformación de grafos o los modelos de procesos o flujos de trabajo empresariales.

La edición de este año hará hincapié en la visualización, simulación y verificación de sistemas en evolución. También se centrará en el análisis de cambios, actualizaciones y evoluciones aplicables a sistemas informáticos.Para más información, consulte: http://www.di.unipi.it/gt-vmt/(se abrirá en una nueva ventana)