Ines Mouakher
Ines Mouakher
Assistant professor,University of Tunis El Manar
E-mail megerősítve itt: fsegt.utm.tn
Cím
Hivatkozott rá
Hivatkozott rá
Év
Component adaptation: Specification and verification
I Mouakher, A Lanoix, J Souquieres
292006
Extending causal semantics of UML2. 0 sequence diagram for distributed systems
F Dhaou, I Mouakher, C Attiogbé, K Bsaïes
2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015
42015
Refinement of UML2. 0 sequence diagrams for distributed systems
F Dhaou, I Mouakher, C Attiogbé, K Bsaïes
32016
Protocol verification in a software component-based approach
I Mouakher, J Souquières, F Alexandre
15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008
22008
A causal semantics for UML2. 0 sequence diagrams with nested combined fragments
F Dhaou, I Mouakher, C Attiogbé, K Bsaies
12017
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2. X Sequence Diagrams
F Dhaou, I Mouakher, JC Attiogbé, K Bsaies
2018
An Operational Semantics of UML2. X Sequence Diagrams for Distributed Systems
F Dhaou, I Mouakher, JC Attiogbé, K Bsaies
International Conference on Evaluation of Novel Approaches to Software …, 2017
2017
Vérification et correction des spécifications B: application à l'assemblage de composants
IM Abdelmoula
2010
Vérification et correction des spécifications B: application à l'assemblage de composants.(Verification and Correction of B Specification in a CBSE approach).
IM Abdelmoula
Tunis El Manar University, Tunisia, 2010
2010
Raffinement B de systèmes de transitions étiquetés
I Mouakher, F Alexandre
2009
Diagnostic et correction d'erreurs de spécifications: application à l'assemblage de composants
I Mouakher, J Souquières, F Alexandre
2008
Protocol verification in a software component approach
I Mouakher, F Alexandre, J Souquières
2007
Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
I Mouakher, F Alexandre, K Bsaïes
2005
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–13