Aziz Salah

18 papers B 2C 7Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2019 C conf
Assisted Composition of Linked Data Queries.
KEOD
Imen Sarray, Aziz Salah
2014 J jnl
A framework for context-aware self-adaptive mobile applications SPL.
Expert Syst. Appl.
Rabeb Mizouni, Mohammad Abu-Matar, Zaid Al Mahmoud, Salwa Mohamed Alzahmi, Aziz Salah
2012 — conf
Towards the automatic discovery of platform transformation templates of legacy object-oriented systems.
ME@MoDELS
Gino Chénard, Ismaïl Khriss, Aziz Salah
2011 C conf
Interface Expressions Monitoring for BPEL Processes.
WEBIST
Wassim Jendoubi, Guy Tremblay, Aziz Salah
2010 J jnl
Towards a framework for estimating system NFRs on behavioral models.
Knowl. Based Syst.
Rabeb Mizouni, Aziz Salah
2009 C conf
Behavioral Model Composition: a Non Functional Requirements Driven Approach.
SoMeT
Rabeb Mizouni, Aziz Salah
2008 J jnl
Oto, a generic and extensible tool for marking programming assignments.
Softw. Pract. Exp.
Guy Tremblay, F. Guérin, A. Pons, Aziz Salah
2007 B conf
Extending a marking tool with simple support for testing.
ITiCSE
Guy Tremblay, Louise Laforest, Aziz Salah
2007 B conf
Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus.
ITiCSE
Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli
2007 J jnl
Merging partial system behaviours: composition of use-case automata.
IET Softw.
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
2007 C conf
Using Formal Composition of Use Cases in Requirements Engineering.
SEKE
Rabeb Mizouni, Aziz Salah, Rachida Dssouli
2006 C conf
Composition of Use Cases Using Synchronization and Model Checking.
FORTE
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
2006 — conf
Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
TestCom
Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
2005 J jnl
Mise en oeuvre des patrons de conception par représentation explicite du problème.
Obj. Logiciel Base données Réseaux
Hafedh Mili, Ghizlane El-Boussaidi, Aziz Salah
2004 C conf
Formal Composition of Distributed Scenarios.
FORTE
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux
2003 J jnl
Implicit integration of scenarios into a reduced timed automaton.
Inf. Softw. Technol.
Aziz Salah, Rachida Dssouli, Guy Lapalme
2001 C conf
Compiling Real-Time Scenarios into a Timed Automaton.
FORTE
Aziz Salah, Rachida Dssouli, Guy Lapalme
1999 J jnl
A service creation environment based on scenarios.
Inf. Softw. Technol.
Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah