Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Mourad
Last name:	Badri
DBLP:	17/4566
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 28  

Select a publication
Show	Title	Venue	Rating	Date
	Hamid Mcheick, Mahdi Adda, Hafedh Mili, Mourad Badri. Dynamic Object Behaviours in Separation of Concerns Based Systems.	Proceedings of the 2009 International Conference on Software Engineering Research Practice, SERP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes 2009	(0)	2009
	Farid Mokhati, Mourad Badri. Generating Maude Specifications From UML Use Case Diagrams.	Journal of Object Technology 2009, Volume 8	(0)	2009
	Mourad Badri, Linda Badri, Maxime Bourque-Fortin. Automated State-Based Unit Testing for Aspect-Oriented Programs: A Supporting Framework.	Journal of Object Technology 2009, Volume 8	(0)	2009
	Mourad Badri, Linda Badri, Fadel Touré. Empirical Analysis of Object-Oriented Design Metrics: Towards a New Metric Using Control Flow Paths and Probabilities.	Journal of Object Technology 2009, Volume 8	(0)	2009
	Linda Badri, Mourad Badri, Daniel St-Yves. Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool.	Proceedings of the Twentieth International Conference on Software Engineering Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008 2008	(0)	2008
	Noura 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 2008, Volume 18	(0)	2008
	Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia. Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.	IJAOSE 2008, Volume 2	(0)	2008
	Farid Mokhati, Patrice Gagnon, Mourad Badri. Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.	Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA 2007	(0)	2007
	Farid Mokhati, Mourad Badri, Linda Badri. A Formal Framework Supporting the Specification of the Interactions between Agents.	Informatica (Slovenia) 2007, Volume 31	(0)	2007
	Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri. Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols.	Journal of Object Technology 2007, Volume 6	(0)	2007

Your query returned 28 matches in the database.