-
1
-
-
0037743912
-
Extending B without changing it (for Developing Distributed Systems)
-
In: Habrias, H. (ed.) Nantes, France
-
Abrial, J.-R.: Extending B without changing it (for Developing Distributed Systems). In: Habrias, H. (ed.) First B Conference, Putting Into Pratice Methods and Tools for Information System Design, Nantes, France, p. 21 (1996)
-
(1996)
First B Conference, Putting Into Pratice Methods and Tools for Information System Design
, pp. 21
-
-
Abrial, J.-R.1
-
3
-
-
34250863496
-
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve
-
In: Montréal, Canada
-
Aït-Ameur, Y., Aït-Sadoune, I., Baron, M., Mota, J.-M.: Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. In: IHM 2006, pp. 123-131. Montréal, Canada (2006)
-
(2006)
IHM 2006
, pp. 123-131
-
-
Aït-Ameur, Y.1
Aït-Sadoune, I.2
Baron, M.3
Mota, J.-M.4
-
4
-
-
33750433528
-
Formal and experimental validation approaches in HCI systems design based on a shared event B model
-
Aït-Ameur Y., Baron M.: Formal and experimental validation approaches in HCI systems design based on a shared event B model. Int. J. Softw. Tools Technol. Transfer 8(6), 547-563 (2006)
-
(2006)
Int. J. Softw. Tools Technol. Transfer
, vol.8
, Issue.6
, pp. 547-563
-
-
Aït-Ameur, Y.1
Baron, M.2
-
5
-
-
1642619102
-
Formal validation of HCI user tasks
-
In: Al-Ani, B., Arabnia, H.R., Youngsong, M. (eds) CSREA Press, Las Vegas, Nevada USA
-
Aït-Ameur Y., Baron M., Girard P.: Formal validation of HCI user tasks. In: Al-Ani, B., Arabnia, H.R., Youngsong, M. (eds) The 2003 International Conference on Software Engineering Research and Practice - SERP 2003, vol. 2, pp. 732-738. CSREA Press, Las Vegas, Nevada USA (2003)
-
(2003)
The 2003 International Conference on Software Engineering Research and Practice - SERP 2003
, vol.2
, pp. 732-738
-
-
Aït-Ameur, Y.1
Baron, M.2
Girard, P.3
-
6
-
-
1642585314
-
Using the B Formal Approach for Incremental Specification Design of Interactive Systems
-
In: Chatty, S., Dewan, P. (eds) Kluwer, Dordrecht
-
Aït-Ameur Y., Girard P., Jambon F.: Using the B Formal Approach for Incremental Specification Design of Interactive Systems. In: Chatty, S., Dewan, P. (eds) IFIP TC2/WG2.7 Engineering for Human-Computer Interaction, pp. 91-110. Kluwer, Dordrecht (1998)
-
(1998)
IFIP TC2/WG2.7 Engineering for Human-Computer Interaction
, pp. 91-110
-
-
Aït-Ameur, Y.1
Girard, P.2
Jambon, F.3
-
7
-
-
84902468770
-
A generic formal specification of fusion of modalities in a multimodal HCI
-
In: Jacquart, R. (eds) Toulouse, France Kluwer, Dordrecht
-
Aït-Ameur Y., Kamel N.: A generic formal specification of fusion of modalities in a multimodal HCI. In: Jacquart, R. (eds) IFIP World Computer Science, Toulouse, France, pp. 415-420. Kluwer, Dordrecht (2004)
-
(2004)
IFIP World Computer Science
, pp. 415-420
-
-
Aït-Ameur, Y.1
Kamel, N.2
-
8
-
-
67649856857
-
Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement
-
Aït-Ameur Y., Aït-Sadoune I., Baron M., Mota J.-M.: Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement. RSTI- Ingénierie des Systèmes d'Informations 13(2), 127-155 (2008)
-
(2008)
RSTI- Ingénierie Des Systèmes D'Informations
, vol.13
, Issue.2
, pp. 127-155
-
-
Aït-Ameur, Y.1
Aït-Sadoune, I.2
Baron, M.3
Mota, J.-M.4
-
9
-
-
33750444654
-
-
Technical Report CMU/SEI-88-TR-6, Carnegie Melon University
-
Bass, L., Hardy, E., Hoyt, K., Little, R., Seacord, R.: The Arch model: Seeheim revisited, the serpent run time architecture and dialog model. Technical Report CMU/SEI-88-TR-6, Carnegie Melon University (1988)
-
(1988)
The Arch Model: Seeheim Revisited, the Serpent Run Time Architecture and Dialog Model
-
-
Bass, L.1
Hardy, E.2
Hoyt, K.3
Little, R.4
Seacord, R.5
-
10
-
-
33750464127
-
The Arch model: Seeheim revisited
-
Bass, L., Pellegrino, R., Reed, S., Sheppard, S., Szezur, M.: The Arch model: Seeheim revisited. In: User Interface Developper's Workshop (1991)
-
(1991)
User Interface Developper's Workshop
-
-
Bass, L.1
Pellegrino, R.2
Reed, S.3
Sheppard, S.4
Szezur, M.5
-
11
-
-
1642601051
-
VDM a Formal Method at Work
-
In: Lecture Notes in Computer Science. Springer, Heidelberg
-
Bjorner, D.: VDM a Formal Method at Work. In: Proceedings of VDM Europe Symposium'87. Lecture Notes in Computer Science. Springer, Heidelberg (1987)
-
(1987)
Proceedings of VDM Europe Symposium'87
-
-
Bjorner, D.1
-
12
-
-
84876768501
-
ICARE software components for rapidly developing multimodal interfaces
-
In: 2004, Extended Abstracts, Vienna, Austria
-
Bouchet, J., Nigay, L., Ganille, T.: ICARE software components for rapidly developing multimodal interfaces. In: Proceedings of ACM-CHI 2004, Extended Abstracts, Vienna, Austria, pp. 1325-1328 (2004)
-
(2004)
Proceedings of ACM-CHI,
, pp. 1325-1328
-
-
Bouchet, J.1
Nigay, L.2
Ganille, T.3
-
13
-
-
62749194491
-
The ICARE component-based approach for multimodal input interaction: Application to real-time military aircraft cockpits
-
In: Las Vegas, USA, ACM Press jul
-
Bouchet, J., Nigay, L., Ganille, T.: The ICARE component-based approach for multimodal input interaction: Application to real-time military aircraft cockpits. In: Proceedings of the Thirrd International Conference on Universal Access in Human-Computer Interaction HCI International, Las Vegas, USA, ACM Press jul (2005)
-
(2005)
Proceedings of the Thirrd International Conference on Universal Access in Human-Computer Interaction HCI International
-
-
Bouchet, J.1
Nigay, L.2
Ganille, T.3
-
14
-
-
1642601052
-
XTL: A Temporal Logic for the Formal Development of Interactive Systems
-
In: Palanque, P., Paterno, F. (eds) Springer, Heidelberg
-
ABrun P.: XTL: a Temporal Logic for the Formal Development of Interactive Systems. In: Palanque, P., Paterno, F. (eds) Formal Methods for Human-Computer Interaction, pp. 121-139. Springer, Heidelberg (1997)
-
(1997)
Formal Methods for Human-Computer Interaction
, pp. 121-139
-
-
Brun, P.1
-
15
-
-
0042727921
-
Combining Formal Techniques and Prototyping in User Interface Construction and Verification
-
In: Palanque, P., Bastide, R. (eds) Springer, Heidelberg
-
Bumbulis P., Alencar P.S.C., Cowan D.D., Lucena C.J.P.: Combining Formal Techniques and Prototyping in User Interface Construction and Verification. In: Palanque, P., Bastide, R. (eds) Second Workshop on Design, Specification and Verification of Interactive Systems DSVIS, pp. 174-192. Springer, Heidelberg (1995)
-
(1995)
Second Workshop on Design, Specification and Verification of Interactive Systems DSVIS
, pp. 174-192
-
-
Bumbulis, P.1
Alencar, P.S.C.2
Cowan, D.D.3
Lucena, C.J.P.4
-
16
-
-
4243676407
-
Validating Properties of Component-Based Graphical User Interfaces
-
In: Springer, Heidelberg
-
Bumbulis, P., Alencar, P.S.C., Cowan, D.D., Lucena, C.J.P.: Validating Properties of Component-Based Graphical User Interfaces. In: Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'96), pp. 347-365. Springer, Heidelberg (1996)
-
(1996)
Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'96)
, pp. 347-365
-
-
Bumbulis, P.1
Alencar, P.S.C.2
Cowan, D.D.3
Lucena, C.J.P.4
-
17
-
-
0035426807
-
Model checking interactor specifications
-
Campos J.C., Harrison M.D.: Model checking interactor specifications. Autom. Softw. Eng. 8(3-4), 275-310 (2001)
-
(2001)
Autom. Softw. Eng.
, vol.8
, Issue.3-4
, pp. 275-310
-
-
Campos, J.C.1
Harrison, M.D.2
-
18
-
-
84906754274
-
Verifying user interface behaviour with model checking
-
In: Augusto, J.C., Ultes-Nitsche, U. (eds.) Porto, Portugal INSTICC Press, Setúbal. ISBN: 972-8865-03-1 April 2004
-
Campos, J.C., Harrison, M.D., Loer, K.: Verifying user interface behaviour with model checking. In: Augusto, J.C., Ultes-Nitsche, U. (eds.) Verification and Validation of Enterprise Information Systems (VVEIS 2004), Porto, Portugal, pp. 87-96. INSTICC Press, Setúbal. ISBN: 972-8865-03-1 April 2004
-
Verification and Validation of Enterprise Information Systems (VVEIS 2004)
, pp. 87-96
-
-
Campos, J.C.1
Harrison, M.D.2
Loer, K.3
-
19
-
-
0004572262
-
Formally verifying interactive systems: A review
-
In: Springer Heidelberg
-
Campos, J.C., Harrison, M.D.: FormAlly verifying interactive systems: a review. In: Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'97), pp. 109-124. Springer, Heidelberg (1997)
-
(1997)
Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'97)
, pp. 109-124
-
-
Campos, J.C.1
Harrison, M.D.2
-
20
-
-
33750492655
-
Assistance au développement incrémental et à sa preuve
-
Université Henri Poincaré
-
Cansell, D.: Assistance au développement incrémental et à sa preuve. Habilitation à diriger les recherches, Université Henri Poincaré (2003)
-
(2003)
Habilitation À Diriger Les Recherches
-
-
Cansell, D.1
-
22
-
-
0002522580
-
PAC, an Implementation Model for the User Interface
-
In North-Holland, Stuttgart
-
Coutaz, J.: PAC, an Implementation Model for the User Interface. In IFIP TC13 Human-Computer Interaction (INTERACT'87), pp. 431-436. North-Holland, Stuttgart (1987)
-
(1987)
IFIP TC13 Human-Computer Interaction (INTERACT'87)
, pp. 431-436
-
-
Coutaz, J.1
-
23
-
-
0037860626
-
Four easy pieces for assessing the usability of multimodal interaction: The CARE properties
-
In: Chapman & Hall, London
-
Coutaz, J., Nigay, L., Salber, D., Blandford, A., May, J., Young, R.M.: Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In: Proceedings of Human Computer Interaction - Interact'95, pp. 115-120. Chapman & Hall, London (1995)
-
(1995)
Proceedings of Human Computer Interaction - Interact'95
, pp. 115-120
-
-
Coutaz, J.1
Nigay, L.2
Salber, D.3
Blandford, A.4
May, J.5
Young, R.M.6
-
24
-
-
1642585312
-
Using Model Checking for the Automatic Validation of User Interface Systems
-
In: Springer, Heidelberg
-
D'Ausbourg, B.: Using Model Checking for the Automatic Validation of User Interface Systems. In: Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'98), pp. 242-260. Springer, Heidelberg (1998)
-
(1998)
Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'98)
, pp. 242-260
-
-
D'Ausbourg, B.1
-
28
-
-
1642585311
-
-
Technical report, Amodeus Esprit Basic Research Project 7040, System Modelling/WP6
-
Duke, D.J., Harrison, M.D.: Towards a Theory of Interactors. Technical report, Amodeus Esprit Basic Research Project 7040, System Modelling/WP6 (1993)
-
(1993)
Towards a Theory of Interactors
-
-
Duke, D.J.1
Harrison, M.D.2
-
29
-
-
67649875668
-
Un modèle multicouche pour la construction d'applications graphiques interactives
-
Doctorat d'université (PhD Thesis), Université Paris-Sud
-
Fekete, J.-D.: Un modèle multicouche pour la construction d'applications graphiques interactives. Doctorat d'université (PhD Thesis), Université Paris-Sud (1996)
-
(1996)
-
-
Fekete, J.-D.1
-
30
-
-
33750466601
-
-
Department research report IS-94-02, Department of Computing Science, University of Glasgow, February
-
Gray, P., England, D., McGowan, S.: XUAN: Enhancing the uan to capture temporal relation among actions. Department research report IS-94-02, Department of Computing Science, University of Glasgow, February (1994)
-
(1994)
XUAN: Enhancing the Uan to Capture Temporal Relation Among Actions
-
-
Gray, P.1
England, D.2
McGowan, S.3
-
31
-
-
33750460669
-
Contribution à l'Ingénierie des Interfaces Homme-Machine - Théorie des Interacteurs et Architecture H4 dans le système NODAOO
-
Doctorat d'université (PhD Thesis), Université de Poitiers
-
Guittet, L.: Contribution à l'Ingénierie des Interfaces Homme-Machine - Théorie des Interacteurs et Architecture H4 dans le système NODAOO. Doctorat d'université (PhD Thesis), Université de Poitiers (1995)
-
(1995)
-
-
Guittet, L.1
-
32
-
-
84945708698
-
An axiomatic basis for computer programming
-
Hoare C.A.R.: An axiomatic basis for computer programming. CACM 12 (10), 576-583 (1969)
-
(1969)
CACM
, vol.12
, Issue.10
, pp. 576-583
-
-
Hoare, C.A.R.1
-
34
-
-
67649875048
-
Utilisation de SMV pour la vérification de propriétés d'IHM multimodales
-
In: Namur, Belgique ACM Press, London
-
Kamel, N.: Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. In: 16ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2004), Namur, Belgique, vol. 1, pp. 219-222. ACM Press, London (2004)
-
(2004)
16ème Conférence Francophone Sur L'Interaction Homme-Machine (IHM'2004)
, vol.1
, pp. 219-222
-
-
Kamel, N.1
-
35
-
-
52149097170
-
Mise en æuvre d'IHM Multimodales dans un système de CAO. Une approche fondée sur les méthodes formelles
-
Kamel N., Ait-Ameur Y.: Mise en æuvre d'IHM Multimodales dans un système de CAO. Une approche fondée sur les méthodes formelles. Rev. Int. d'ingénierie numérique 1(2), 235-256 (2005)
-
(2005)
Rev. Int. D'ingénierie Numérique
, vol.1
, Issue.2
, pp. 235-256
-
-
Kamel, N.1
Ait-Ameur, Y.2
-
36
-
-
0009792563
-
Conception et Modélisation Logicielle des Systèmes Interactifs: Application aux Interfaces Multimodales
-
Doctorat d'université (PhD Thesis), Université Joseph Fourier
-
Nigay, L.: Conception et Modélisation Logicielle des Systèmes Interactifs: Application aux Interfaces Multimodales. Doctorat d'université (PhD Thesis), Université Joseph Fourier (1994)
-
(1994)
-
-
Nigay, L.1
-
37
-
-
38149057026
-
Validating Interactive System Design Through the Verification of Formal Task and System Models
-
Palanque, P., Bastide, R., Sengs, V.: Validating Interactive System Design Through the Verification of Formal Task and System Models. In: IFIP TC2/WG2.7 Engineering for Human-Computer Interaction, pp. 189-212 (1995)
-
(1995)
IFIP TC2/WG2.7 Engineering for Human-Computer Interaction
, pp. 189-212
-
-
Palanque, P.1
Bastide, R.2
Sengs, V.3
-
39
-
-
0007952811
-
On the LOTOS Use to Describe Graphical Interaction
-
In: Cambridge University Press, Cambridge
-
Paterno, F., Faconti, G.: On the LOTOS Use to Describe Graphical Interaction. In: Proceedings of HCI, People and Computer, pp. 155-173. Cambridge University Press, Cambridge (1992)
-
(1992)
Proceedings of HCI, People and Computer
, pp. 155-173
-
-
Paterno, F.1
Faconti, G.2
-
40
-
-
33750452012
-
CTTE: An Environment for Analysis and Development of Task Models of Cooperative Applications
-
In: Seattle, ACM/SIGCHI
-
Paternò, F., Mori, G., Galimberti, R.: CTTE: An Environment for Analysis and Development of Task Models of Cooperative Applications. In: ACM CHI 2001, vol. 2, Seattle, ACM/SIGCHI (2001)
-
(2001)
ACM CHI 2001
, vol.2
-
-
Paternò, F.1
Mori, G.2
Galimberti, R.3
-
42
-
-
0003318734
-
Towards a Method for Task Description: MAD
-
In: Elsevier, North-Holland
-
Scapin, D.L., Pierret-Golbreich, C.: Towards a Method for Task Description: MAD. In: Work with Display Units. Elsevier, North-Holland (1990)
-
(1990)
Work With Display Units
-
-
Scapin, D.L.1
Pierret-Golbreich, C.2
|