References 1

(1)

References

Accot:is-97-143 [1] ACCOTJ., CHATTYS., MAURYS., PALANQUEP.: Formal transducers: Models of devices and building

bricks for the design of highly interactive systems. In Harrison and Torres [67], pp. 143–159. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Accot:is-96-92 [2] ACCOTJ., CHATTYS., PALANQUEP.: A formal description of low level interaction and its application

to multimodal interactive systems. In Bodart and Vanderdonckt [12], pp. 92–104. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Akoumianakis:is-96-248 [3] AKOUMIANAKISD., SAVIDISA., STEPHANIDISC.: Design assistance for user-adapted interaction.

In Bodart and Vanderdonckt [12], pp. 248–271. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Barnard:is-94-15 [4] BARNARD P., MAY J.: Interactions with advanced graphical interfaces and the deployment of la-

tent human knowledge. In Paternó [101], pp. 15–49. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Bastide:is-98-171 [5] BASTIDER., PALANQUEP., LED.-H., MUÑOZJ.: Integrating rendering specifications into a formal-

ism for the design of interactive systems. In Markopoulos and Johnson [84], pp. 171–190. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Bauer:is-95-224 [6] BAUERB.: Proving the correctness of formal user interface specifications. In Palanque and Bastide

[98], pp. 224–241. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Bernsen:is-94-235 [7] BERNSENN.: Why are analogue graphics and natural language both needed in HCI? In Paternó [101],

pp. 235–251. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Bernsen:is-95-242 [8] BERNSENN., LU S.: A software demonstrator of modality theory. In Palanque and Bastide [98],

pp. 242–261. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Blandford:is-97-45 [9] BLANDFORDA., BUTTERWORTH R., GOOD J.: Users as rational interacting agents: formalising

assumptions about cognition and interaction. In Harrison and Torres [67], pp. 45–60. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Bodart:is-95-262 [10] BODART F., HENNEBERTA.-M., LEHEUREUX J.-M., PROVOT I., SACRÉ B., VANDERDONCKT

J.: Towards a systematic building of software architecture: The TRIDENT methodological guide.

In Palanque and Bastide [98], pp. 262–278. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Bodart:is-94-77 [11] BODARTF., HENNEBERTA.-M., LEHEUREUXJ.-M., VANDERDONCKTJ.: A model-based approach

to presentation: A continuum from task analysis to prototype. In Paternó [101], pp. 77–94. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

eg-is96-proceedings [12] BODARTF., VANDERDONCKTJ. (Eds.):. Design, Specification and Verification of Interactive Systems

’96 (Wien, 1996), Eurographics, Springer-Verlag. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Bowman:is-98-261 [13] BOWMANH., FACONTIG., MASSINKM.: Specification and verification of media constraints using

UPPAAL. In Markopoulos and Johnson [84], pp. 261–277. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Bramwell:is-95-134 [14] BRAMWELLC., FIELDS R., HARRISONM.: Exploring design options rationally. In Palanque and

Bastide [98], pp. 134–148. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Schouten:is-97-225 [15] BREEDVELT-SCHOUTEN I., PATERNÓF., SEVERIJNSC.: Reusable structures in task models. In

Harrison and Torres [67], pp. 225–239. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Bumbulis:is-95-174 [16] BUMBULISP., ALENCARP., COWAND., LUCENAC.: Combining formal techniques and prototyping

in user interface construction and verification. In Palanque and Bastide [98], pp. 174–192. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Bumbulis:is-96-347 [17] BUMBULISP., ALENCARP., COWAN D., LUCENAC.: Validating properties of component-based

graphical user interfaces. In Bodart and Vanderdonckt [12], pp. 347–365. Proceedings of the Eurograph- ics Workshop in Namur, Belgium, June 5 – 7, 1996.

Butler:is-98-24 [18] BUTLERK., ESPOSITOC., HEBRONR.: Deriving business object definitions from user work process

models. In Markopoulos and Johnson [84], pp. 24–40. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Butterworth:is-98-87 [19] BUTTERWORTHR., BLANDFORDA., DUKED.: The role of formal proof in modelling interactive

behaviour. In Markopoulos and Johnson [84], pp. 87–101. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Butterworth:is-97-291 [20] BUTTERWORTHR., COOKED.: On biasing behaviour to the optimal. In Harrison and Torres [67],

pp. 291–306. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

(2)

Cabrera:is-99-67 [21] CABRERAM., TORRESJ., GEAM.: Towards user interfaces prototyping from algebraic specification.

In Duke and Puerta [46], pp. 67–83. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Campos:is-97-109 [22] CAMPOSJ., HARRISONM.: Formally verifying interactive systems: A review. In Harrison and Torres

[67], pp. 109–124. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Campos:is-98-155 [23] CAMPOSJ., HARRISONM.: The role of verification in interactive systems design. In Markopoulos and

Johnson [84], pp. 155–170. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Campos:is-99-167 [24] CAMPOSJ., HARRISONM.: Using automated reasoning in the design of an audio-visual communication

system. In Duke and Puerta [46], pp. 167–188. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Carr:is-96-141 [25] CARRD.: Toward more understandable user interface specifications. In Bodart and Vanderdonckt [12],

pp. 141–161. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Castells:is-99-100 [26] CASTELLSP., SZEKELYP.: Presentation models by example. In Duke and Puerta [46], pp. 100–116.

Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Coutaz:is-97-13 [27] COUTAZJ.: PAC-ing the architecture of your user interface. In Harrison and Torres [67], pp. 13–27.

Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

dAusbourg:is-98-242 [28] D’AUSBOURGB.: Using model checking for the automatic validation of user interface systems. In

Markopoulos and Johnson [84], pp. 242–260. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Ausbourg:is-99-148 [29] D’AUSBOURGB., CAZINJ.: Using TRIO specifications to generate test cases for an interactive system.

Ausbourg:is-96-105 [30] D’AUSBOURGB., DURRIEUG., ROCHEP.: Deriving a formal model of an interactive system from its

UIL description in order to verify and to test its behaviour. In Bodart and Vanderdonckt [12], pp. 105–

122. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Bruin:is-94-95 [31] DE BRUIN H., BOUWMANP., VAN DEN BOS J.: Modeling and analyzing human-computer dia-

logues with protocols. In Paternó [101], pp. 95–116. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Keyser:is-96-28 [32] DEKEYSERV., JAVAUXD.: Human factors in aeronautics. In Bodart and Vanderdonckt [12], pp. 28–

45. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Dearden:is-94-301 [33] DEARDENA., HARRISONM.: Modelling interactive properties for interactive case memories. In Pa-

ternó [101], pp. 301–316. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Dearden:is-96-229 [34] DEARDENA., HARRISONM.: Risk analysis, impact and interaction modelling. In Bodart and Vander-

donckt [12], pp. 229–247. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Diplas:is-97-241 [35] DIPLASC., KAMEAS A., PINTELAS P.: The interactive specification workspace: Specifying and

designing the interaction issues of virtual reality training environments from within. In Harrison and Torres [67], pp. 241–256. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Dix:is-94-317 [36] DIXA.: LADA a logic for the analysis of distributed actions. In Paternó [101], pp. 317–332. Proceed-

ings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Dix:is-95-149 [37] DIXA.: Moving between contexts. In Palanque and Bastide [98], pp. 149–173. Proceedings of the

Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Doherty:is-97-273 [38] DOHERTYG., HARRISONM.: A representational approach to the specification of presentations. In

Doherty:is-98-293 [39] DOHERTYG., HARRISONM.: Integrating joint behaviour and dialogue description. In Markopoulos

and Johnson [84], pp. 293–308. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Duce:is-94-51 [40] DUCE D.: Users. In Paternó [101], pp. 51–55. Proceedings of the Eurographics Workshop in

Bocca di Magra, Italy, June 8 – 10, 1994.

Duce:is-99-278 [41] DUCED.: Working group 3 report. In Duke and Puerta [46], pp. 278–280. Proceedings of the Euro-

graphics Workshop in Braga, Portugal, June 2 – 4, 1999.

Duce:is-95-1 [42] DUCED., DUKED.: Interaction, cognition and visualization. In Palanque and Bastide [98], pp. 1–20.

Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

(3)

Duke:is-99-268 [43] DUKED.: Discussion topics for the DSV-IS’99 working groups. In Duke and Puerta [46], pp. 268–269.

Duke:is-94-333 [44] DUKED., HARRISONM.: Folding human factors into rigorous development. In Paternó [101], pp. 333–

347. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Duke:is-95-54 [45] DUKED., HARRISONM.: Interaction and task requirements. In Palanque and Bastide [98], pp. 54–75.

eg-is99-proceedings [46] DUKED., PUERTAA. (Eds.):. Design, Specification and Verification of Interactive Systems ’99 (Wien,

1999), Eurographics, Springer-Verlag. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Elwert:is-95-193 [47] ELWERTT., SCHLUNGBAUME.: Modelling and generation of graphical user interfaces in the TADEUS

approach. In Palanque and Bastide [98], pp. 193–208. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Faconti:is-96-73 [48] FACONTIG., DUKED.: Device models. In Bodart and Vanderdonckt [12], pp. 73–91. Proceedings of

the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Faconti:is-94-349 [49] FACONTIG., FORNARIA., ZANIN.: Visual representation of formal specification: An application

to hierarchical logical input devices. In Paternó [101], pp. 349–367. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Faconti:is-97-125 [50] FACONTIG., MASSINKM.: Investigating the behaviour of PREMO synchronizable objects. In Harrison

and Torres [67], pp. 125–141. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Fields:is-94-253 [51] FIELDSR., HARRISONM., WRIGHTP.: Modelling interactive systems and providing task relevant in-

formation. In Paternó [101], pp. 253–266. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Fields:is-97-307 [52] FIELDSR., MERRIAMN.: Modelling in action. In Harrison and Torres [67], pp. 307–320. Proceedings

of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Fields:is-98-41 [53] FIELDSR., MERRIAMN.: Inference and information resources: A design case study. In Markopoulos

Fields:is-97-29 [54] FIELDSR., MERRIAMN., DEARDENA.: DMVIS: Design, Modelling and Validation of Interactive

Systems. In Harrison and Torres [67], pp. 29–44. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Fischer:is-98-225 [55] FISCHERM.: A framework for generating spatial configurations in user interfaces. In Markopoulos and

Foley:is-94-3 [56] FOLEYJ., SUKAVIRIYAP.: History, results, and bibliography of the user interface design environment

(UIDE), an early model-based system for user interface design and implementation. In Paternó [101], pp. 3–14. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Forbrig:is-99-225 [57] FORBRIG P.: Task- and object-oriented development of interactive systems – how many models are

necessary? In Duke and Puerta [46], pp. 225–237. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Gaudel:is-95-21 [58] GAUDELM.-C.: Formal specification techniques for interactive systems. In Palanque and Bastide [98],

Gea:is-99-262 [59] GEAM., GUTIERREZF., TORRESJ., PADILLAN., CABRERAM.: Modelisation of co-operative work.

Gorgan:is-97-257 [60] GORGAND., DUCED.: The notion of trajectory in graphical user interfaces. In Harrison and Torres

[67], pp. 257–272. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Gray:is-95-113 [61] GRAYP., JOHNSONC.: Requirements for the next generation of user interface specification languages.

In Palanque and Bastide [98], pp. 113–133. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Green:is-95-279 [62] GREENM.: The design of narrative virtual environments. In Palanque and Bastide [98], pp. 279–293.

Hall:is-97-1 [63] HALLA.: Do interactive systems need specifications? In Harrison and Torres [67], pp. 1–12. Proceed-

ings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Harrison:is-94-57 [64] HARRISONM.: Role of formalisms. In Paternó [101], pp. 57–60. Proceedings of the Eurographics

Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Harrison:is-95-342 [65] HARRISONM.: Role of verification. In Palanque and Bastide [98], pp. 342–344. Proceedings of the

(4)

Harrison:is-94-267 [66] HARRISONM., BLANDFORDA., BARNARDP.: The requirements engineering of user freedom. In Pa-

ternó [101], pp. 267–277. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

eg-is97-proceedings [67] HARRISONM., TORRESJ. (Eds.):. Design, Specification and Verification of Interactive Systems ’97

(Wien, 1997), Eurographics, Springer-Verlag. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Hartson:is-94-279 [68] HARTSONH., MAYO K.: A framework for precise, reusable task abstractions. In Paternó [101],

Hill:is-97-161 [69] HILLJ., WRIGHTP.: From text to Petri Nets: the difficulties of describing accident scenarios formally.

In Harrison and Torres [67], pp. 161–175. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Hollier:is-99-17 [70] HOLLIERM.: Matching technology to people for telepresence. In Duke and Puerta [46], pp. 17–17.

Hurley:is-94-117 [71] HURLEYW.: Bridging the gap from conceptual design to software design. In Paternó [101], pp. 117–

Hussey:is-98-206 [72] HUSSEYA., CARRINGTOND.: Which widgets? deriving implementations from user-interface specifi-

cations. In Markopoulos and Johnson [84], pp. 206–224. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Hyde:is-96-292 [73] HYDEJ., DUKED.: Fusion engines and melting pots. In Bodart and Vanderdonckt [12], pp. 292–311.

Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Jambon:is-99-205 [74] JAMBONF., GIRARDP., BOISDRONY.: Dialogue validation from task analysis. In Duke and Puerta

[46], pp. 205–224. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Johnson:is-95-93 [75] JOHNSONC.: The application of Petri Nets to represent and reason about human factors problems

during accident analyses. In Palanque and Bastide [98], pp. 93–112. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Johnson:is-95-345 [76] JOHNSONC.: The challenge of time. In Palanque and Bastide [98], pp. 345–357. Proceedings of the

Johnson:is-96-188 [77] JOHNSONC.: The evaluation of user interface notations. In Bodart and Vanderdonckt [12], pp. 188–206.

Johnson:is-96-207 [78] JOHNSONC., GRAYP.: Supporting error-driven design. In Bodart and Vanderdonckt [12], pp. 207–228.

Jones:is-98-117 [79] JONESS., SAPSFORDJ.: The role of informal representations in early design. In Markopoulos and

Charlier:is-96-46 [80] LECHARLIERB.: Abstract interpretation and application to interactive system verification. In Bodart

and Vanderdonckt [12], pp. 46–72. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Limpouch:is-94-369 [81] LIMPOUCHA.: Grammar-based formal specification for the object-oriented user interface development.

In Paternó [101], pp. 369–382. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Luo:is-94-129 [82] LUOP.: A human-computer collaboration paradigm for bridging design conceptualization and imple-

mentation. In Paternó [101], pp. 129–147. Proceedings of the Eurographics Workshop in Bocca di Ma- gra, Italy, June 8 – 10, 1994.

Markopoulos:is-95-294 [83] MARKOPOULOSP.: On the expression of interaction properties within an interactor model. In Palanque

and Bastide [98], pp. 294–310. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

eg-is98-proceedings [84] MARKOPOULOSP., JOHNSONP. (Eds.):. Design, Specification and Verification of Interactive Systems

’98 (Wien, 1998), Eurographics, Springer-Verlag. Proceedings of the Eurographics Workshop in Abing- don, UK, June 3 – 5, 1998.

markopoulos:is-97-209 [85] MARKOPOULOSP., JOHNSONP., ROWSONJ.: Formal aspects of task based design. In Harrison and

Torres [67], pp. 209–224. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Markopoulos:is-98-102 [86] MARKOPOULOSP., PAPATZANISG., JOHNSONP., ROWSONJ.: Validating semi-formal specifications

of interactors as design representations. In Markopoulos and Johnson [84], pp. 102–116. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Markopoulos:is-99-117 [87] MARKOPOULOSP., SHRUBSOLEP., DEVETJ.: Refinement of the PAC model for the component-

based design and specification of television based interfaces. In Duke and Puerta [46], pp. 117–132.

(5)

Massink:is-99-30 [88] MASSINKM., DUKED., SMITHS.: Towards hybrid interface specification for virtual environments.

McCarthy:is-98-9 [89] MCCARTHYJ.: The viability of modelling socially organised activity. In Markopoulos and Johnson

[84], pp. 9–23. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Mallon:is-97-77 [90] MELLONB., WEBBB.: Evaluating narrative in multimedia. In Harrison and Torres [67], pp. 77–92.

Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Merriam:is-96-330 [91] MERRIAMN., HARRISONM.: Evaluating the interfaces of three theorem proving assistants. In Bodart

and Vanderdonckt [12], pp. 330–346. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Middlemass:is-95-311 [92] MIDDLEMASSJ., STORK A., LONGJ.: Applying a structured method for usability engineering to

recreational facilities booking user requirements: A successful case study. In Palanque and Bastide [98], pp. 311–328. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Moher:is-95-358 [93] MOHERT.: Working group report: User and task modeling. In Palanque and Bastide [98], pp. 358–362.

Moher:is-95-76 [94] MOHER T., DIRDA V.: Revising mental models to accommodate expectation failures in human-

computer dialogues. In Palanque and Bastide [98], pp. 76–92. Proceedings of the Eurographics Work- shop in Toulouse, France, June 7 – 9, 1995.

Moher:is-96-312 [95] MOHERT., DIRDA V., BASTIDER., PALANQUE P.: Monolingual, articulated modeling of users,

devices, and interfaces. In Bodart and Vanderdonckt [12], pp. 312–329. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Olsen:is-95-27 [96] OLSENJR. D.: Interacting with information. In Palanque and Bastide [98], pp. 27–34. Proceedings of

the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Olsen:is-98-1 [97] OLSENJR D.: Interacting in chaos. In Markopoulos and Johnson [84], pp. 1–8. Proceedings of the

Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

eg-is95-proceedings [98] PALANQUEP., BASTIDER. (Eds.):. Design, Specification and Verification of Interactive Systems ’95

(Wien, 1995), Eurographics, Springer-Verlag. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Palanque:is-94-383 [99] PALANQUEP., BASTIDER.: Petri net based design of user-driven interfaces using the cooperative object

formalism. In Paternó [101], pp. 383–400. Proceedings of the Eurographics Workshop in Bocca di Ma- gra, Italy, June 8 – 10, 1994.

Palanque:is-96-162 [100] PALANQUE P., PATERNÓF., BASTIDER., MEZZANOTTEM.: Towards an integrated proposal for

Interactive Systems design based on TLIM and ICO. In Bodart and Vanderdonckt [12], pp. 162–187.

eg-is94-proceedings [101] PATERNÓ F. (Ed.):. Design, Specification and Verification of Interactive Systems ’94 (Heidelberg,

1995), Focus on Computer Graphics, Springer-Verlag. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Paterno:is-94-149 [102] PATERNÓF., LEONARDIA., PANGOLIS.: A tool-supported approach for the refinement of interactive

systems. In Paternó [101], pp. 149–159. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Paterno:is-99-189 [103] PATERNÓF., SANTOROC., FIELDSB.: Analysing user deviations in interactive safety-critical appli-

cations. In Duke and Puerta [46], pp. 189–204. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Paterno:is-98-71 [104] PATERNÒF., SANTOROC., TAHMASSEBIS.: Formal models for cooperative tasks: Concepts and an

application for en-route air-traffic control. In Markopoulos and Johnson [84], pp. 71–86. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Paterno:is-95-35 [105] PATERNÓF., SCIACCHITANOM., LOWGRENJ.: A user interface evaluation mapping physical user

actions to task-driven formal specification. In Palanque and Bastide [98], pp. 35–53. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Pierra:is-95-362 [106] PIERRA G.: Towards a taxonomy for interactive graphics systems. In Palanque and Bastide [98],

Rauterberg:is-95-209 [107] RAUTERBERGM.: Four different measures to quantify three usability attributes: ‘feedback’, ‘interface

directness’ and ‘flexibility’. In Palanque and Bastide [98], pp. 209–223. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Reeves:is-96-366 [108] REEVESS.: Specifying and reasoning about CSCW. In Bodart and Vanderdonckt [12], pp. 366–383.

Roast:is-94-401 [109] ROASTC., HARRISONM.: User centred system modelling using the template model. In Paternó [101],

(6)

Roast:is-99-52 [110] ROASTC., SIDDIQIJ.: Contrasting models for visualisation (seeing the wood through the trees). In

Duke and Puerta [46], pp. 52–66. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Rodriguez:is-97-193 [111] RODRÍGUEZF., SCAPIND.: Editing MAD* task descriptions for specifying user interfaces, at both

semantic and presentation levels. In Harrison and Torres [67], pp. 193–208. Proceedings of the Euro- graphics Workshop in Granada, Spain, June 4 – 6, 1997.

Rowson:is-99-254 [112] ROWSONJ., JOHNSONP., WHITEG.: Cross-contextual reference in human-computer interaction. In

Duke and Puerta [46], pp. 254–261. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Sage:is-97-93 [113] SAGEM., JOHNSONC.: Interactors and Haggis: Executable specifications for interactive systems. In

Sage:is-98-134 [114] SAGEM., JOHNSONC.: Pragmatic formal design: A case study in integrating formal methods into the

HCI development cycle. In Markopoulos and Johnson [84], pp. 134–154. Proceedings of the Eurograph- ics Workshop in Abingdon, UK, June 3 – 5, 1998.

Sanz:is-97-61 [115] SANZM., GÓMEZE.: Establishing a link between usability and utility: validation of a task-based

dialogue using a semantic prototype. In Harrison and Torres [67], pp. 61–76. Proceedings of the Euro- graphics Workshop in Granada, Spain, June 4 – 6, 1997.

Savidis:is-97-177 [116] SAVIDISA., STEPHANIDISC., AKOUMIANAKISD.: Unifying toolkit programming layers: a multi-

purpose toolkit integration module. In Harrison and Torres [67], pp. 177–192. Proceedings of the Eurographics Workshop in Granada, Spain, June 4 – 6, 1997.

Schreiber:is-94-161 [117] SCHREIBERS.: The BOSS system: Coupling visual programming with model based interface design.

In Paternó [101], pp. 161–179. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Smith:is-99-270 [118] SMITHS.: Working group 1 report. In Duke and Puerta [46], pp. 270–275. Proceedings of the Euro-

graphics Workshop in Braga, Portugal, June 2 – 4, 1999.

Srinivasan:is-99-1 [119] SRINIVASANM., BASDOGANC., HOC.-H.: Haptic interactions in the real and virtual worlds. In Duke

and Puerta [46], pp. 1–16. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Stirewalt:is-98-191 [120] STIREWALTK., ABOWDG.: Practical dialogue refinement. In Markopoulos and Johnson [84], pp. 191–

205. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3 – 5, 1998.

Sukaviriya:is-94-61 [121] SUKAVIRIYAP.: Role of development environments. In Paternó [101], pp. 61–73. Proceedings of the

Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Sukaviriya:is-94-181 [122] SUKAVIRIYA P., MUTHUKUMARASAMYJ., FRANKM., FOLEYJ.: A model-based user interface

architecture: Enhancing a runtime environment with declarative knowledge. In Paternó [101], pp. 181–

Szekely:is-96-1 [123] SZEKELYP.: Retrospective and challenges for model-based interface development. In Bodart and

Vanderdonckt [12], pp. 1–27. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Szwillus:is-96-123 [124] SZWILLUSG., KESPOHLK.: Prototyping device interfaces with DSN/2. In Bodart and Vanderdonckt

[12], pp. 123–140. Proceedings of the Eurographics Workshop in Namur, Belgium, June 5 – 7, 1996.

Took:is-95-329 [125] TOOKR.: A formal design for mutually composed multiple media in presentations. In Palanque and

Bastide [98], pp. 329–341. Proceedings of the Eurographics Workshop in Toulouse, France, June 7 – 9, 1995.

Took:is-94-413 [126] TOOKR.: Understanding direct manipulation interaction algebraically. In Paternó [101], pp. 413–428.

Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Torres:is-94-429 [127] TORRESJ., CLARESB.: Using an abstract model for the formal specification of interactive graphic

systems. In Paternó [101], pp. 429–444. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

Torres:is-96-272 [128] TORRESJ., GEAM., GUTIERREZF., CABRERA M., RODRIGUEZ M.: GRALPLA: An algebraic

specification language for interactive graphic systems. In Bodart and Vanderdonckt [12], pp. 272–291.

Troetteberg:is-98-278 [129] TRŒTTEBERGH.: Modelling direct manipulation with referent and statecharts. In Markopoulos and

Urnes:is-99-133 [130] URNEST., GRAHAMT.: Flexibly mapping synchronous groupware architecture to distributed imple-

mentations. In Duke and Puerta [46], pp. 133–147. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

(7)

Harmelen:is-94-199 [131] VANHARMELENM.: Object-oriented modelling and specification for user inteface design. In Paternó

[101], pp. 199–231. Proceedings of the Eurographics Workshop in Bocca di Magra, Italy, June 8 – 10, 1994.

vanWelie:is-98-57 [132] VANWELIEM.,VAN DERVEERG., ELIËNSA.: An ontology for task world models. In Markopoulos

Welie:is-99-238 [133] VANWELIEM.,VAN DERVEERG., ELIËNSA.: Usability properties in dialogue model. In Duke and

Puerta [46], pp. 238–253. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Vanderdonckt:is-99-84 [134] VANDERDONCKTJ.: Computer-aided design of menu bar and pull-down menus for business oriented

applications. In Duke and Puerta [46], pp. 84–99. Proceedings of the Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

White:is-99-276 [135] WHITEG.: Working group 2 report. In Duke and Puerta [46], pp. 276–277. Proceedings of the

Eurographics Workshop in Braga, Portugal, June 2 – 4, 1999.

Wuthrich:is-99-18 [136] WÜTHRICHC.: An analysis and a model of 3D interaction methods and devices for virtual reality.