Mounira Belmesk (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Thouraya Bouabana-Tebibel, Mounira Belmesk: Integration of the Association Ends within UML State Diagrams. Int. Arab J. Inf. Technol. 5(1): 7-15 (2008)

9 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)

8 Thouraya Bouabana-Tebibel, Mounira Belmesk: From UML Towards Petri Nets to Specify and Verify. ICINCO (1) 2004: 249-256

7 Thouraya Bouabana-Tebibel, Mounira Belmesk: Formalization of UML object dynamics and behavior. SMC (5) 2004: 4971-4976

Selection of 4 from 10 records - Mounira Belmesk has 3 coauthors

10		Thouraya Bouabana-Tebibel, Mounira Belmesk: Integration of the Association Ends within UML State Diagrams. Int. Arab J. Inf. Technol. 5(1): 7-15 (2008)
9		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)
8		Thouraya Bouabana-Tebibel, Mounira Belmesk: From UML Towards Petri Nets to Specify and Verify. ICINCO (1) 2004: 249-256
7		Thouraya Bouabana-Tebibel, Mounira Belmesk: Formalization of UML object dynamics and behavior. SMC (5) 2004: 4971-4976