A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.

Chafika Djaoui, Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui

Browse the full IRI paper archive.