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.

Abstract

Abstract is missing.