dblp.uni-trier.dewww.uni-trier.de

Mourad Badri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
24 Linda Badri, Mourad Badri, Daniel St-Yves: Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool. SEKE 2008: 103-110
23EEFarid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia: Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. IJAOSE 2(4): 422-448 (2008)
22EENoura Boudiaf, Farid Mokhati, Mourad Badri: Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. International Journal of Software Engineering and Knowledge Engineering 18(7): 853-875 (2008)
2007
21EEFarid Mokhati, Patrice Gagnon, Mourad Badri: Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC 2007: 356-362
20EEFarid Mokhati, Mourad Badri, Linda Badri: A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 31(3): 337-350 (2007)
19EEPhilippe Massicotte, Linda Badri, Mourad Badri: Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs. Journal of Object Technology 6(1): (2007)
18EEFarid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri: Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. Journal of Object Technology 6(4): (2007)
2006
17 Farid Mokhati, Mourad Badri, Patrice Gagnon: Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577
16EEGhazwa Malak, Houari A. Sahraoui, Linda Badri, Mourad Badri: Modeling Web-Based Applications Quality: A Probabilistic Approach. WISE 2006: 398-404
15EEFarid Mokhati, Mourad Badri, Linda Badri: A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 30(1): 97-110 (2006)
14EEJean-François Gélinas, Mourad Badri, Linda Badri: A Cohesion Measure for Aspects. Journal of Object Technology 5(7): (2006)
2005
13EELinda Badri, Mourad Badri, Daniel St-Yves: Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. APSEC 2005: 167-175
12 Jean-François Gélinas, Linda Badri, Mourad Badri: Measuring Cohesion in Aspect-oriented Systems. IASTED Conf. on Software Engineering 2005: 343-348
11EEPhilippe Massicotte, Linda Badri, Mourad Badri: Aspects-Classes Integration Testing Strategy: An Incremental Approach. RISE 2005: 158-173
10EEPhilippe Massicotte, Mourad Badri, Linda Badri: Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy. SERA 2005: 30-39
9EELinda Badri, Mourad Badri, Velou Stéphane Blé: A Method Level Based Approach for OO Integration Testing: An Experimental Study. SNPD 2005: 102-109
2004
8EEGhazwa Malak, Linda Badri, Mourad Badri, Houari A. Sahraoui: Towards a Multidimensional Model for Web-Based Applications Quality Assessment. EC-Web 2004: 316-327
7 Linda Badri, Mourad Badri, Velou Stéphane Blé: Object-oriented integration testing: A method level based approach. IASTED Conf. on Software Engineering and Applications 2004: 324-330
6 F. Tessier, Mourad Badri, Linda Badri: An early detection of semantic conflicts between aspects: A model analysis based technique. IASTED Conf. on Software Engineering and Applications 2004: 623-628
5EENoura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri: Specifying DIMA Multi-agents Models Using Maude. PRIMA 2004: 29-42
4EELinda Badri, Mourad Badri: A Proposal of a New Class Cohesion Criterion: An Empirical Study. Journal of Object Technology 3(4): 145-159 (2004)
2003
3EEMourad Badri, Linda Badri, Marius Naha: A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. FATES 2003: 223-235
2002
2 Nadir Belkhiter, Ghazwa Malak, Mourad Badri, Linda Badri: Evaluation de la qualité des applications Web: état de l'art. INFORSID 2002: 107-122
1 Ghazwa Malak, Linda Badri, Mourad Badri, Nadir Belkhiter: Web-based Applications Quality: Evaluation and Perspectives. International Conference on Internet Computing 2002: 939-946

Coauthor Index

1Linda Badri [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [23] [24]
2Nadir Belkhiter [1] [2]
3Velou Stéphane Blé [7] [9]
4Sofiane Bouazdia [23]
5Noura Boudiaf [5] [18] [22]
6Patrice Gagnon [17] [21]
7Jean-François Gélinas [12] [14]
8Fathi Hamidane [23]
9Ghazwa Malak [1] [2] [8] [16]
10Philippe Massicotte [10] [11] [19]
11Farid Mokhati [5] [15] [17] [18] [20] [21] [22] [23]
12Marius Naha [3]
13Houari A. Sahraoui [8] [16]
14Daniel St-Yves [13] [24]
15F. Tessier [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)