Aziz Salah, Ph.D.

2002 Université de Montréal, Montréal, Canada 
Computer Science
"Aziz Salah"


Sign in to add mentor
Rachida Dssouli grad student 2002 Université de Montréal
 (Generation automatique d'une specification formelle a partir de scenarios temps-reels.)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Mizouni R, Salah A. (2010) Towards a framework for estimating system NFRs on behavioral models Knowledge-Based Systems. 23: 721-731
Mizouni R, Salah A. (2009) Behavioral model composition: A non functional requirements driven approach Proceedings of 8th International Conference On New Trends in Software Methodologies, Tools and Techniques, Somet_09
Mizouni R, Salah A, Kolahi S, et al. (2007) Merging partial system behaviours: Composition of use-case automata Iet Software. 1: 143-160
Mizouni R, Salah A, Dssouli R. (2007) Using formal composition of use cases in requirements engineering 19th International Conference On Software Engineering and Knowledge Engineering, Seke 2007. 238-243
Salah A, Dssouli R, Lapalme G. (2003) Implicit integration of scenarios into a reduced timed automaton Information and Software Technology. 45: 715-725
See more...