Information Technology Reference
In-Depth Information
[HOP 07]
H
OPCROFT
J.E.,
M
OTWANI
R.
and
T
HEORY
J.D.U.A.,
Automata Theory,
Languages, and Computation
, Addison Wesley, 2007.
[HUE 07] H
UET
G., K
AHN
G. and P
AULIN
-M
OHRING
C., The Coq proof assistant: a tutorial,
Report, Logical project, 2007.
[JON 92] J
ONES
C.B.,
VDM: une méthode rigoureuse pour le développement de logiciels
,
Masson, 1992.
[JOU 06] J
OURDE
F., N
IGAY
L. and P
ARISSIS
I., “Test formel de systèmes interactifs
multimodaux : couplage ICARE - Lutess”,
ICSSEA'06: 19ème Journées Internationales
“Génie Logiciel & Ingénierie de Systèmes et leurs Applications” Globalisation des Services
et des Systèmes
, Paris, France, 2006.
[JUS 04] J
USTER
J. and E
LVIS
D.R., “Situated speech and gesture understanding for a
robotic chandelier”,
Sixth International Conference on Multimodal Interfaces
, ACM Press,
pp. 90-96, 2004.
[KAM 04] K
AMEL
N., “Utilisation de SMV pour la vérification de propriétés d'IHM
multimodales”,
16° Conférence Francophone sur l'Interaction Homme-Machine (IHM'04)
,
Namur, Belgique, pp. 219-222, 2004.
[KAM 05] K
AMEL
N. and A
IT
-A
MEUR
Y., “Mise en oeuvre d'IHM multimodales dans un
système de CAO. Une approche fondée sur les méthodes formelles”,
Revue Internationale
d'Ingénierie Numérique
, vol. 1, no. 2, pp. 235-256, Lavoisier et Hermes Science, 2005.
[KAM 06] K
AMEL
N., Un cadre formel générique pour la spécification et la vérification
des interfaces multimodales. Cas de la multimodalité en entrée, PhD thesis, University of
Poitiers, France, 2006.
[KAM 07] K
AMEL
N. and A
IT
-A
MEUR
Y., “Formal model for usability properties
in multimodal HCI”,
2nd International Workshop on Multimodal and Pervasive
Services(MAPS07), at IEEE International Conference On Pervasive Services (ICPS07)
,
Istanbul, Turkey, July 2007.
[LEH 05]
L
EHNING
H.,
Les équations algébriques
, Pôle, Collectif Tangente, 2005.
[MAC 98] M
AC
C
OLL
I. and C
ARRINGTON
D., “Testing MATIS: a case study on specification
based testing of interactive systems”,
Formal Aspects of HCI (FAHCI98)
, Sheffield-Hallam
University, pp. 57-69, 1998.
[MCM 92]
M
C
M
ILLIAN
K., The SMV system, Report, Carnegie Mellon University, 1992.
[MER 00] M
ERLOZ
P. , L
AVALLEE
S., T
ONNETTI
J. and P
ITTET
L., “Image-guided spinal
surgery: technology, operative technique and clinical practice”,
Operative Techniques in
Orthopaedics
, vol. 10, no. 1, pp. 56-63, January 2000.
[MIL 80] M
ILNER
R.,
A Calculus of Comunicating Systems
,vol.92of
LNCS
, Springer-Verlag,
New York, NY, USA, 1980.
[MOH 09] M
OHAND
-O
USSAÏD
L., A
ÏT
-A
MEUR
Y. and A
HMED
-N
ACER
M., “A generic
formal model for fission of modalities in output multi-modal interactive systems”,
VECoS
'2009 - 3rd International Workshop on Verification and Evaluation of Computer and
Communication Systems
, Rabat, Morroco, July 2009.