Thouraya Bouabana-Tebibel

	2008
6		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
5		Thouraya Bouabana-Tebibel: Object Dynamics Formalization Using Object Flows within UML State Machines. Enterprise Modelling and Information Systems Architectures 2(1): 26-39 (2007)
4		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		Thouraya Bouabana-Tebibel, Mounira Belmesk: Formalization of UML object dynamics and behavior. SMC (5) 2004: 4971-4976

Coauthor Index

1

Mounira Belmesk

[1] [2] [4] [6]