Idir Ait Sadoune
5
Documents
Présentation
Publications
- 5
- 5
- 3
- 1
- 1
- 1
- 2
|
|
Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux Journal d'Interaction Personne-Système, 2014, Volume 1 (1), pp.1-30. ⟨10.46298/jips.59⟩
Article dans une revue
hal-00634186v1
|
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développementRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (2), pp.127-154
Article dans une revue
hal-00634197v1
|
Verification and validation of BPEL processes. A proof and animation based approachRodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France
Communication dans un congrès
hal-00695440v1
|
|
|
|
Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
Communication dans un congrès
hal-00633908v1
|
|
|
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes, Apr 2006, Rabat, Maroc. pp.578-588
Communication dans un congrès
hal-00633903v1
|