Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach

Elhillali Kerkouche, Allaoua Chaoui, El-Bay Bourennane, Ouassila Labbani. Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. In 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), June 22-24, 2009, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, USA, Proceedings. pages 111-118, ISCA, 2009.

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