Aziz Salah, Ph.D.
Affiliations: | 2002 | Université de Montréal, Montréal, Canada |
Area:
Computer ScienceGoogle:
"Aziz Salah"Parents
Sign in to add mentorRachida Dssouli | grad student | 2002 | Université de Montréal | |
(Generation automatique d'une specification formelle a partir de scenarios temps-reels.) |
BETA: Related publications
See more...
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, Matar MA, Mahmoud ZA, et al. (2014) A framework for context-aware self-adaptive mobile applications SPL Expert Systems With Applications. 41: 7549-7564 |
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, 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 |
Berrada I, Castanet R, Félix P, et al. (2006) Test case minimization for real-time systems using timed bound traces Lecture Notes in Computer Science. 289-305 |
Salah A, Dssouli R, Lapalme G. (2003) Implicit integration of scenarios into a reduced timed automaton Information and Software Technology. 45: 715-725 |
Dssouli R, Somé S, Vaucher J, et al. (1999) A service creation environment based on scenarios Information and Software Technology. 41: 697-713 |