Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.

Farid Mokhati, Mourad Badri, Patrice Gagnon

Browse the full SEKE paper archive.