Idir Ait-Sadoune

Ph.D

No picture of Idir Ait-Sadoune available - click to provide one
Personal Homepage:
http://idir.aitsadoune.free.fr/

About the author:
No description available of Idir Ait-Sadoune...
ADD DESCRIPTION
ADD PUBLICATION
SHARE YOUR RESEARCH

Publications by Idir Ait-Sadoune (bibliography)

 what's this?

» 2006 «

Edit | Del

Ait-Ameur, Yamine, Ait-Sadoune, Idir, Mota, Jean-Marc and Baron, Mickael (2006): Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. In: Proceedings of the 2006 Conference of the Association Francophone dInteraction Homme-Machine 2006. pp. 123-130. Available online

This paper focuses on the formal validation and verification of multi-modal human computer interfaces. It describes part of the obtained results of the French RNRT VERBATIM project. It focuses on the application of a formal proof based technique, namely the event B method. We outline the capability of this technique to support the design of multi-modal human computer interfaces, in particular, the capability to support the expression and the verification of properties issued from the CARE family. The proposed approach uses notations and semi-formal techniques issued from the HCI design area.

Copyrights may apply

ADD PUBLICATION
SHOW THIS LIST ON YOUR HOMEPAGE

What do YOU think?

Give us your opinion! Do you have any comments/additions
that you would like other visitors to see?

 
comment You say: Mar 20th, 2010
#1
Be the first to add a thoughtful note to this page ! 

  will be spam-protected
 

 
How many?
=
e.g. "6"
 

Changes to this page (author)

23 Feb 2010: Enabled abstracts to be shown on Idir Ait-Sadoune's author page.
05 Nov 2007: Page was edited
25 Jul 2007: Author was added to the bibliography

Publication statistics

Publication period:2006-2006
Publication count:1
Number of co-authors:3



Productive colleagues

Idir Ait-Sadoune's 3 most productive colleagues in number of publications:

Mickael Baron:6
Jean-Marc Mota:1
Yamine Ait-Ameur:1


Collaboration count

Number of publications with 3 favourite co-authors:

Mickael Baron:1
Jean-Marc Mota:1
Yamine Ait-Ameur:1

 

Other options

Learn more about Idir Ait-Sadoune:
- Google Scholar
- ACM
- CSB

Mar 20

Computer programs emerge as the outcome of complex human processes of cognition, communication and negotiation, which serve to establish the meaningful embedding of the computer system in its intended use context.

-- Floyd, 1992, p. 24

  • Share this quote on... Bookmark and Share
  • Get more quotes

Eva Hornecker on Tangible Interaction

Eva Hornecker explains the evolving concept of Tangible Interaction.

Read Eva's insightful entry here..

Help us help you!

  • Spread the word: Bookmark and Share
  • Donate
  • Other ways to help
 

Page information

Page maintainer: The Editorial Team
How to cite/reference this page
URL: http://www.interaction-design.org/references/authors/idir_ait-sadoune.html