Information Technology Reference
In-Depth Information
4.7. Bibliography
[ABR 96]
A
BRIAL
J.-R.,
The B-Book
, Cambridge University Press, 1996.
[AIT 06a] A
IT
-A
MEUR
Y. , A
IT
-S
ADOUNE
I. and B
ARON
M., “Etude et comparaison de
scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et
le raffinement”,
MOSIM'06: 6ème Conférence Francophone de Modélisation et Simulation.
Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités
, Rabat, 2006.
[AIT 06b] A
IT
-A
MEUR
Y. , A
IT
-S
ADOUNE
I., B
ARON
M. and M
OTA
J., “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)
,
Montréal,
pp. 123-130, 2006.
[BAA 99] B
AADER
F. and N
IPKOW
T.,
Term Rewriting and All That
, Cambridge University
Press, 1999.
[BAS 94] B
ASTIDE
R. and P
ALANQUE
P., “Petri net based design of user-driven interfaces
using the interactive cooperative objects formalism”,
Interactive Systems: Design,
Specification, and Verification, DSV-IS'94
, Springer-Verlag, pp. 383-400, 1994.
[BEL 92] B
ELLIK
Y. and T
EIL
D., “Les types de multimodalités”,
IHM'92: 4èmes Journées
sur l'Ingénierie des Interfaces Homme-Machine
, France, Telecom Paris, pp. 22-28, 1992.
[BEL 95] B
ELLIK
Y., Interfaces multimodales : concepts, modèles et architecture, PhD thesis,
LIMSI, University of Orsay, 1995.
[BER 94] B
ERNSEN
O., “Foundations of multimodal representations. A taxonomy of
representational modalities”,
Interacting with Computers
, vol. 6, no. 4, pp. 347-371, 1994.
[BER 00] B
ERT
D., E
CHAHED
R. and R
EYNAUD
J.-C., Reference manual of the LPG
specification language and environment, 2000.
[BER 01] B
ERNSEN
N. and D
YBKJAER
L., “Exploring natural interaction in the car”,
International Workshop on Information Presentation and Natural Multimodal Dialogue
,
Verona, Italy, pp. 75-79, 2001.
[BOR 97] B
ORDEGONI
M., F
ACONTI
G., M
AY B U RY
M., R
IST
T., R
UGGIERI
S.,
T
RAHANIAS
P. and W
ILSON
M., “A standard reference model for intelligent multimedia
presentation systems”,
Computer Standards and Interfaces
, vol. 6, no. 4, pp. 477-496, 1997.
[BOU 99]
B
OUSQUET
L.D., O
UABDESSELAM
F., R
ICHIER
J.-L. and Z
UANON
N., “Lutess:
a
specification-driven
testing
environment
for
synchronous
software”,
International
Conference of Software Engineering
, ACM Press, pp. 267-276, 1999.
[BOU 05] B
OUCHET
J., N
IGAY
L. and G
ANILLE
T., “The ICARE component-based approach
for multimodal input interaction: application to real-time military aircraft cockpits”,
The
11th International Conference on Human-Computer Interaction
,LasVegas,Nevada,USA,
22-27 July, Lawrence Erlbaum Associates, 2005.
[BOU 06] B
OUCHET
J., M
ADANI
L., N
IGAY
L., O
RIAT
C. and P
ARISSIS
I., “Formal testing
of multimodal interactive systems”,
DSV-IS2006, The XIII International Workshop on
Design, Specification and Verification of Interactive Systems
, Lecture Notes in Computer
Science, Springer-Verlag, 2006.