| |
| 2008 | ||
|---|---|---|
| 5 | Thouraya Bouabana-Tebibel, Mounira Belmesk: Integration of the Association Ends within UML State Diagrams. Int. Arab J. Inf. Technol. 5(1): 7-15 (2008) | |
| 2007 | ||
| 4 | EE | Thouraya Bouabana-Tebibel, Mounira Belmesk: An object-oriented approach to formally analyze the UML 2.0 activity partitions. Information & Software Technology 49(9-10): 999-1016 (2007) |
| 2006 | ||
| 3 | Thouraya Bouabana-Tebibel: Data flow formalization. ICINCO-ICSO 2006: 148-153 | |
| 2004 | ||
| 2 | Thouraya Bouabana-Tebibel, Mounira Belmesk: From UML Towards Petri Nets to Specify and Verify. ICINCO (1) 2004: 249-256 | |
| 1 | EE | Thouraya Bouabana-Tebibel, Mounira Belmesk: Formalization of UML object dynamics and behavior. SMC (5) 2004: 4971-4976 |
| 1 | Mounira Belmesk | [1] [2] [4] [5] |