Transformación de grafos para ingenieros de software: Con Aplicaciones al Desarrollo Basado en Modelos y a la Ingeniería de Lenguajes Específicos de Dominio

Título original:

Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

Contenido del libro:

Parte I, Transformación de grafos. - Grafos para modelado y especificación.

- Conceptos de transformación de grafos. - Más allá de las reglas individuales: Escenarios de uso y estructuras de control. - Análisis y mejora de los sistemas de transformación de grafos.

- Parte II, Transformación de Grafos en Ingeniería de Software.

- Detección de Requisitos Inconsistentes en un Enfoque Basado en Casos de Uso. - Especificación y correspondencia de servicios.

- Pruebas basadas en modelos. - Ingeniería inversa: Inferencia de contratos visuales a partir de programas Java. - Análisis estocástico de arquitecturas de software dinámicas.

- Definición avanzada de lenguajes de modelado: Integración del metamodelado con la transformación de grafos. - Mejora de los modelos y comprensión de los cambios en los modelos. - Traducción y sincronización de modelos.