On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models

Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani. On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. JSW, 5(11):1279-1291, 2010. [doi]

Authors

Elhillali Kerkouche

This author has not been identified. Look up 'Elhillali Kerkouche' in Google

Allaoua Chaoui

This author has not been identified. Look up 'Allaoua Chaoui' in Google

El-Bay Bourennane

This author has not been identified. Look up 'El-Bay Bourennane' in Google

Ouassila Labbani

This author has not been identified. Look up 'Ouassila Labbani' in Google