|
Search the dblp DataBase
Thouraya Bouabana-Tebibel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thouraya Bouabana-Tebibel, Mounira Belmesk
From UML Towards Petri Nets to Specify and Verify. [Citation Graph (0, 0)][DBLP] ICINCO (1), 2004, pp:249-256 [Conf]
- Thouraya Bouabana-Tebibel
Data flow formalization. [Citation Graph (0, 0)][DBLP] ICINCO-ICSO, 2006, pp:148-153 [Conf]
- Thouraya Bouabana-Tebibel, Mounira Belmesk
Formalization of UML object dynamics and behavior. [Citation Graph (0, 0)][DBLP] SMC (5), 2004, pp:4971-4976 [Conf]
- Thouraya Bouabana-Tebibel, Mounira Belmesk
An object-oriented approach to formally analyze the UML 2.0 activity partitions. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2007, v:49, n:9-10, pp:999-1016 [Journal]
Semantics of the Interaction Overview Diagram. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|