Travelled to:
1 × USA
Collaborated with:
F.Mokhati M.Badri
Talks about:
translat (1) systemat (1) approach (1) diagram (1) specif (1) formal (1) maud (1) uml (1)
Person: Patrice Gagnon
DBLP: Gagnon:Patrice
Contributed to:
Wrote 1 papers:
- SEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml
- Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.