Author:
Mohand-Oussaid Linda,Ait-Sadoune Idir,Ait-Ameur Yamine,Ahmed-Nacer Mohamed
Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference39 articles.
1. Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press, New York
2. Abrial JR (2010) Modeling in Event-B: system and software engineering. Cambridge University Press, New York
3. Ait-Ameur Y, Ait-Sadoune I, Baron M (2006a) Etude et comparaison de scénarios de développements formels d’interfaces multi-modales fondés sur la preuve et le raffinement. In: MOSIM 2006, 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes: Défis et Opportunités, Rabat
4. Ait-Ameur Y, Ait-Sadoune I, Mota JM, Baron M (2006b) Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. In: Proceedings of the 18th International Conference of the Association Francophone d’Interaction Homme-Machine. ACM, Montréal, pp 123–130
5. Ait-Ameur Y, Baron M, Kamel N, Mota JM (2009) Encoding a process algebra using the Event B method: application to the validation of human computer interactions. Int J Softw Tools Technol Transf 11(3):239–253
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automatically Testing of Multimodal Interactive Applications;Communications in Computer and Information Science;2017
2. User Expertise in Multimodal HCI;Proceedings of the European Conference on Cognitive Ergonomics;2016-09-05
3. A formal model for output multimodal HCI;Computing;2015-06-10