Transformarea grafurilor pentru ingineri software: Cu aplicații la dezvoltarea bazată pe modele și ingineria limbajului specific domeniului

Titlul original:

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

Conținutul cărții:

Partea I, Transformarea grafurilor. - Grafice pentru modelare și specificații.

- Concepte de transformare a grafurilor. - Dincolo de regulile individuale: Scenarii de utilizare și structuri de control. - Analiza și îmbunătățirea sistemelor de transformare a grafurilor.

- Partea II, Transformarea grafurilor în ingineria software.

- Detectarea cerințelor inconsistente în cadrul unei abordări bazate pe cazuri de utilizare. - Specificarea și potrivirea serviciilor.

- Testarea bazată pe model. - Ingineria inversă: Inferarea contractelor vizuale din programele Java. - Analiza stocastică a arhitecturilor software dinamice.

- Definirea limbajului avansat de modelare: Integrarea meta-modelării cu transformarea grafică. - Îmbunătățirea modelelor și înțelegerea modificărilor modelelor. - Traducerea și sincronizarea modelelor.