Travelled to:1 × France
1 × Portugal
Collaborated with:H.Ben-Abdallah N.Bouassida F.Gargouri
Talks about:uml (2) relationship (1) pattern (1) languag (1) diagram (1) semant (1) formal (1) design (1) depend (1) verif (1)
Person: Mouez Ali
DBLP: Ali:Mouez
Contributed to:
20132004Wrote 2 papers:
- ICEIS-v2-2013-BouassidaBA #design #named #semantics
- P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
- ICEIS-v3-2004-AliBG #dependence #diagrams #uml #verification
- UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.