A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams. - Chafika Djaoui; Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui (IRI, 2018)

FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language. - Chafika Djaoui; Allaoua Chaoui (Comput. Sci., 2024)