Jean-Marc MOTA
Jean-Marc MOTA
ATER

email : mota@ensma.fr
tutelle: SFA - Université de Poitiers
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Publications
(7)
Revues Internationales
(1)
Yamine AIT-AMEUR, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer (STTT 2009), vol. Volume 11, n. Number 3, 2009, pp. 239-253http://springerlink.com/content/e678300406631434/?p=06debe5114e64a758dae3651b5c97db9&pi=5http://springerlink.com/content/e678300406631434/?p=06debe5114e64a758dae3651b5c97db9&pi=5
Revues Nationales
(2)
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, 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 (JIPS 2010), vol. 1, n. 1, Septembre, 2010, pp. 1-30http://jips.gforge.inria.fr/articles/1/1/3-aitameur.htmlhttp://jips.gforge.inria.fr/articles/1/1/3-aitameur.html
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI - ISI (Ingénierie des Systèmes d'Information) (ISI 2008), vol. 13 , n. 2, 2008, pp. 127-154
Conférences Nationales
(1)
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272http://portal.acm.org/citation.cfm?id=1132752&dl=GUIDE&coll=GUIDE&CFID=92606310&CFTOKEN=31035272
Rapports de Recherche
(3)
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Jean-Marc MOTA, Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 20067877/2006-LISI-lot4.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 20067864/2006-LISI-lot2.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 20067870/2006-LISI-lot3.pdf