{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:55:00Z","timestamp":1743152100200,"version":"3.40.3"},"publisher-location":"Cham","reference-count":78,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319518374"},{"type":"electronic","value":"9783319518381"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_3","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"65-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Trends and Gaps"],"prefix":"10.1007","author":[{"given":"Alan","family":"Dix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Weyers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Adamczyk P, Bailey B (2004) If not now, when? The effects of interruption at different moments within task execution. In: Proceedings of the SIGCHI conference on human factors in computing systems (CHI \u201804). ACM, New York, pp 271\u2013278. doi:\n                    10.1145\/985692.985727","DOI":"10.1145\/985692.985727"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.chb.2005.12.009","volume":"22","author":"N Bailey","year":"2006","unstructured":"Bailey N, Konstan J (2006) On the need for attention-aware systems: measuring effects of interruption on task performance, error rate, and affective state. Comput Hum Behav 22(4):685\u2013708. doi:\n                    10.1016\/j.chb.2005.12.009","journal-title":"Comput Hum Behav"},{"key":"3_CR3","unstructured":"Barnard P (1985) Interacting cognitive subsystems: a psycholinguistic approach to short-term memory. In: Ellis A (ed) Progress in the psychology of language, volume 2, chapter 6. Lawrence Erlbaum Associates, Hove"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Bowen J. Reeves S (2011) UI-driven test-first development of interactive systems. In: Proceedings of the 3rd ACM SIGCHI symposium on engineering interactive computing systems (EICS \u201811). ACM, New York, pp 165\u2013174. doi:\n                    10.1145\/1996461.1996515","DOI":"10.1145\/1996461.1996515"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Bowen J, Dittmar A (2016) A semi-formal framework for describing interaction design spaces. In: Proceedings of the 8th ACM SIGCHI symposium on engineering interactive computing systems (EICS \u201816). ACM, New York, pp 229\u2013238. doi:\n                    10.1145\/2933242.2933247","DOI":"10.1145\/2933242.2933247"},{"key":"3_CR6","unstructured":"Bruegger P (2011). uMove: a wholistic framework to design and implement ubiquitous computing systems supporting user\u2019s activity and situation. PhD Thesis, University of Fribourg, Switzerland. \n                    http:\/\/doc.rero.ch\/record\/24442"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/358886.358895","volume":"23","author":"S Card","year":"1980","unstructured":"Card S, Moran T, Newell A (1980) The keystroke-level model for user performance with interactive systems. Commun ACM 23:396\u2013410","journal-title":"Commun ACM"},{"key":"3_CR8","volume-title":"The psychology of human computer interaction","author":"S Card","year":"1983","unstructured":"Card S, Moran T, Newell A (1983) The psychology of human computer interaction. Lawrence Erlbaum Associates, Hillsdale, New Jersey"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Carter T, Seah S, Long B. Drinkwater B, Subramanian S (2013) UltraHaptics: multi-point mid-air haptic feedback for touch surfaces. In: Proceedings of the 26th annual ACM symposium on user interface software and technology (UIST \u201813). ACM, New York, pp 505\u2013514. doi:\n                    10.1145\/2501988.2502018","DOI":"10.1145\/2501988.2502018"},{"key":"3_CR10","unstructured":"Citizens Advice Bureau (2013) 22% don\u2019t have basic banking services needed to deal with Universal Credit. \n                    http:\/\/www.citizensadvice.org.uk\/index\/pressoffice\/press_index\/press_office20131105.htm\n                    \n                  . Accessed 29 Jan 2014"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Clarke E, Wing J (1996) Formal methods: state of the art and future directions. ACM Comput Surv 28(4):626\u2013643 (1996). doi:\n                    10.1145\/242223.242257","DOI":"10.1145\/242223.242257"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Cockton G (2004) Value-centred HCI. In: Proceedings of the third Nordic conference on human-computer interaction (NordiCHI \u201804). ACM, New York, pp 149\u2013160. doi:\n                    10.1145\/1028014.1028038","DOI":"10.1145\/1028014.1028038"},{"key":"3_CR13","unstructured":"Council of the European Union (2016). Position of the council on general data protection regulation. \n                    http:\/\/www.europarl.europa.eu\/sed\/doc\/news\/document\/CONS_CONS(2016)05418(REV1)_EN.docx\n                    \n                  . Accessed 8 April 2016"},{"key":"3_CR14","unstructured":"Coutaz J (2010) User interface plasticity: model driven engineering to the limit! In: Engineering interactive computing systems (EICS 2010). ACM, pp 1\u20138"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Czerwinski M, Horvitz E, Wilhite S (2004) A diary study of task switching and interruptions. In: Proceedings of the SIGCHI conference on human factors in computing systems (CHI \u201804). ACM, New York, pp 175\u2013182. doi:\n                    10.1145\/985692.985715","DOI":"10.1145\/985692.985715"},{"key":"3_CR16","unstructured":"Dewsbury G, Ballard D (2014) DTA: the dependability telecare assessment tool\u2014the person-centred telecare assessment. gdewsbury, Bourne, UK. \n                    http:\/\/www.gdewsbury.com\/dta\/"},{"key":"3_CR17","unstructured":"Dix A, Runciman C (1985) Abstract models of interactive systems. In: Johnson P, Cook S (eds) People and computers: designing the interface. Cambridge University Press, pp 13\u201322. \n                    http:\/\/alandix.com\/academic\/papers\/hci88\/"},{"key":"3_CR18","unstructured":"Dix A (1990) Information processing, context and privacy. In: Diaper DGD, Cockton G, Shakel B (eds) Human-computer interaction\u2014INTERACT\u201990, North-Holland, pp 15\u201320"},{"key":"3_CR19","unstructured":"Dix A (1991a) Formal methods for interactive systems. Academic Press, London. \n                    http:\/\/www.hiraeth.com\/books\/formal\/"},{"key":"3_CR20","unstructured":"Dix A (1991b) Status and events: static and dynamic properties of interactive systems. In: Duce DA (ed) Proceedings of the eurographics seminar: formal methods in computer graphics, Marina di Carrara, Italy. \n                    http:\/\/www.comp.lancs.ac.uk\/computing\/users\/dixa\/papers\/euro91\/euro91.html"},{"key":"3_CR21","unstructured":"Dix A (1992a) Human issues in the use of pattern recognition techniques. In: Beale R, Finlay J (eds) Neural networks and pattern recognition in human computer interaction. Ellis Horwood, pp 429\u2013451. \n                    http:\/\/alandix.com\/academic\/papers\/neuro92\/neuro92.html"},{"key":"3_CR22","unstructured":"Dix A (1992b) Pace and interaction. In: Monk A, Diaper D, Harrison M (eds) Proceedings of HCI\u201992: people and computers VII. Cambridge University Press, pp 193\u2013207. \n                    http:\/\/alandix.com\/academic\/papers\/pace\/"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Dix A, Abowd G (1996) Modelling status and event behaviour of interactive systems. Softw Eng J 11(6):334\u2013346. \n                    http:\/\/alandix.com\/academic\/papers\/euro91\/","DOI":"10.1049\/sej.1996.0044"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Dix A (2002a) Towards a ubiquitous semantics of interaction: phenomenology, scenarios and traces. In: Forbrig P, Limbourg Q, Urban B, Vanderdonckt J (eds) Interactive systems. Design, specification, and verification 9th international workshop, DSV-IS 2002, Rostock, Germany, June 2002. Springer, LNCS 2545, pp 238\u2013252. \n                    http:\/\/alandix.com\/academic\/papers\/dsvis2002\/","DOI":"10.1007\/3-540-36235-5_18"},{"key":"3_CR25","unstructured":"Dix A (2002b) Formal methods in HCI: a success story\u2014why it works and how to reproduce it. Lancaster University, UK. \n                    http:\/\/alandix.com\/academic\/papers\/formal-2002\/"},{"key":"3_CR26","unstructured":"Dix A, Ramduny-Ellis D, Wilkinson J (2004) Trigger analysis\u2014understanding broken tasks. In: Diaper D, Stanton N (eds) Chapter 19 in The handbook of task analysis for human-computer interaction. Lawrence Erlbaum Associates, pp 381\u2013400. \n                    http:\/\/www.hcibook.com\/alan\/papers\/triggers2002"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Dix A, Sheridan J, Reeves S, Benford S, O\u2019Malley C (2005) Formalising performative interaction. In: Proceedings of DSVIS\u20192005 (Newcastle, UK, 13\u201315 July 2005). Springer, LNCS 3941, pp 15\u201325. \n                    http:\/\/www.hcibook.com\/alan\/papers\/DSVIS2005-performance\/","DOI":"10.1007\/11752707_2"},{"key":"3_CR28","unstructured":"Dix A, Leavesley J (2015) Learning analytics for the academic: an action perspective. J Univ Comput Sci (JUCS) 21(1):48\u201365. \n                    http:\/\/www.hcibook.com\/alan\/papers\/JUCS-action-analytics-2015\/"},{"key":"3_CR29","doi-asserted-by":"publisher","unstructured":"Dix A (2016) Human computer interaction, foundations and new paradigms. J Vis Lang Comput (in press). doi:\n                    10.1016\/j.jvlc.2016.04.001","DOI":"10.1016\/j.jvlc.2016.04.001"},{"key":"3_CR30","doi-asserted-by":"publisher","unstructured":"Duncan D, Hoekstra A, Wilcox B (2012) Digital devices, distraction, and student performance: does in-class cell phone use reduce learning? Astron Educ Rev 11(1). doi:\n                    10.3847\/AER2012011","DOI":"10.3847\/AER2012011"},{"issue":"1","key":"3_CR31","first-page":"61","volume":"1","author":"C Ellis","year":"1994","unstructured":"Ellis C (1994) Goal based workflow systems. Int J Collab Comput 1(1):61\u201386","journal-title":"Int J Collab Comput"},{"key":"3_CR32","unstructured":"EPSRC (2016) Human-like computing report of a workshop held on 17 & 18 February 2016, Bristol, UK. \n                    https:\/\/www.epsrc.ac.uk\/newsevents\/pubs\/humanlikecomputing\/"},{"key":"3_CR33","unstructured":"Eslambolchilar P (2006) Making sense of interaction using a model-based approach. PhD thesis, Hamilton Institute, National University of Ireland, NUIM, Ireland"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Faconti G, Massink M (2002) A reference framework for continuous interaction, Int J Univ Access Inf Soc 1(4):237\u2013251. Springer","DOI":"10.1007\/s10209-002-0027-5"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Fatah gen Schieck A, Kostakos V, Penn A, O\u2019Neill E, Kindberg T, Stanton Fraser D, Jones T (2006) Design tools for pervasive computing in urban environments. In: van Leeuwen JPT, Timmermans HJP (eds) Innovations in design and decision support systems in architecture and urban planning. Springer, Dordrecht, Netherlands, pp 467\u2013486","DOI":"10.1007\/978-1-4020-5060-2_30"},{"issue":"3","key":"3_CR36","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/2168931.2168943","volume":"19","author":"D Fisher","year":"2012","unstructured":"Fisher D, DeLine R, Czerwinski M, Drucker S (2012) Interactions with big data analytics. Interactions 19(3):50\u201359. doi:\n                    10.1145\/2168931.2168943","journal-title":"Interactions"},{"key":"3_CR37","unstructured":"Goodman B, Flaxman S (2016) EU regulations on algorithmic decision-making and a \u201cright to explanation\u201d. In: Presented at 2016 ICML workshop on human interpretability in machine learning (WHI 2016), New York, NY. \n                    http:\/\/arxiv.org\/abs\/1606.08813v1"},{"volume-title":"Design principles for interactive software","year":"1996","key":"3_CR38","unstructured":"Gram C, Cockton G (eds) (1996) Design principles for interactive software. Chapman & Hall, London"},{"key":"3_CR39","doi-asserted-by":"publisher","unstructured":"Guiard Y, Bourgeois F, Mottet D, Beaudouin-Lafon M (2001) Beyond the 10-bit barrier: Fitts\u2019 law in multi-scale electronic worlds. In: People and computers XV\u2014interaction without frontiers: joint proceedings of HCI 2001 and IHM 2001, Springer, London, pp 573\u2013587. doi:\n                    10.1007\/978-1-4471-0353-0_36","DOI":"10.1007\/978-1-4471-0353-0_36"},{"issue":"2","key":"3_CR40","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2009.36","volume":"24","author":"A Halevy","year":"2009","unstructured":"Halevy A, Norvig P, Pereira F (2009) The unreasonable effectiveness of data. IEEE Intell Syst 24(2):8\u201312. doi:\n                    10.1109\/MIS.2009.36","journal-title":"IEEE Intell Syst"},{"key":"3_CR41","unstructured":"Harper R, Rodden T, Rogers Y, Sellen A (eds) (2008) Being human: human-computer interaction in the year 2020. Microsoft Res. \n                    http:\/\/research.microsoft.com\/en-us\/um\/cambridge\/projects\/hci2020\/"},{"key":"3_CR42","unstructured":"Hawking S, Musk E, Wozniak S et al (2015) Autonomous weapons: an open letter from AI & robotics researchers. Future of Life Institute. \n                    http:\/\/futureoflife.org\/AI\/open_letter_autonomous_weapons"},{"issue":"2\u20133","key":"3_CR43","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1017\/S0140525X0999152X","volume":"33","author":"J Henrich","year":"2010","unstructured":"Henrich J, Heine S, Norenzayan A (2010) The weirdest people in the world? Behav Brain Sci 33(2\u20133):61\u201383. doi:\n                    10.1017\/S0140525X0999152X","journal-title":"Behav Brain Sci"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Hildebrandt M, Harrison M (2003) Putting time (back) into dynamic function allocation. In: Proceedings of the 47th annual meeting of the human factors and ergonomics society","DOI":"10.1037\/e577042012-050"},{"key":"3_CR45","doi-asserted-by":"publisher","unstructured":"Ishii H (2003) Tangible bits: designing the seamless interface between people, bits, and atoms. In: Proceedings of the 8th international conference on intelligent user interfaces (IUI \u201803). ACM, New York, NY, USA, pp 3\u20133. doi:\n                    10.1145\/604045.604048","DOI":"10.1145\/604045.604048"},{"key":"3_CR46","doi-asserted-by":"publisher","unstructured":"Hong J, Landay J (2004) An architecture for privacy-sensitive ubiquitous computing. In Proceedings of the 2nd international conference on Mobile systems, applications, and services (MobiSys \u201804). ACM, New York, NY, USA, pp 177\u2013189. doi:\u00a0\n                    10.1145\/990064.990087","DOI":"10.1145\/990064.990087"},{"key":"3_CR47","unstructured":"Keim D, Kohlhammer J, Ellis G, Mansmann F (2010) Mastering the information age-solving problems with visual analytics. Eurographics Association, Goslar, Germany. \n                    http:\/\/www.vismaster.eu\/wp-content\/uploads\/2010\/11\/VisMaster-book-lowres.pdf"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","volume":"22","author":"D Kieras","year":"1985","unstructured":"Kieras D, Polson P (1985) An approach to the formal analysis of user complexity. Int J Man Mach Stud 22:365\u2013394","journal-title":"Int J Man Mach Stud"},{"issue":"1","key":"3_CR49","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/s10618-008-0114-1","volume":"18","author":"R Kohavi","year":"2009","unstructured":"Kohavi R, Longbotham R, Sommerfield D, Henne R (2009) Controlled experiments on the web: survey and practical guide. Data Min Knowl Discov 18(1):140\u2013181. doi:\n                    10.1007\/s10618-008-0114-1","journal-title":"Data Min Knowl Discov"},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"Langheinrich M (2002) A privacy awareness system for ubiquitous computing environments. In: Borriello G, Holmquist LE (eds) Proceedings of the 4th international conference on ubiquitous computing (UbiComp \u201802). Springer, London, UK, pp 237\u2013245","DOI":"10.1007\/3-540-45809-3_19"},{"key":"3_CR51","doi-asserted-by":"publisher","unstructured":"Lin J, Newman M, Hong J, Landay J (2000) DENIM: finding a tighter fit between tools and practice for web site design. In: Proceedings of the SIGCHI conference on human factors in computing systems (CHI \u201800). ACM, New York, USA, pp 510\u2013517. doi:\n                    10.1145\/332040.332486","DOI":"10.1145\/332040.332486"},{"key":"3_CR52","unstructured":"Mancini R (1997) Modelling interactive computing by exploiting the undo. Dottorato di Ricerca in Informatica, IX-97-5, Universit\u00e0 degli Studi di Roma \u201cLa Sapienza\u201d. \n                    http:\/\/www.hcibook.net\/people\/Roberta\/"},{"key":"3_CR53","unstructured":"McCoy B (2016) Digital distractions in the classroom phase II: student classroom use of digital devices for non-class related purposes. J Media Educ 7(1):5\u201332. \n                    http:\/\/en.calameo.com\/read\/00009178915b8f5b352ba"},{"key":"3_CR54","doi-asserted-by":"crossref","unstructured":"Meixner G, Patern\u00f3 F, Vanderdonckt J (2011) Past, present, and future of model-based user interface development. i-com 10(3):2\u201311","DOI":"10.1524\/icom.2011.0026"},{"key":"3_CR55","unstructured":"Norman D (2005) Emotional design. Basic Books"},{"key":"3_CR56","unstructured":"Oracle (2003) JSR-045: debugging support for other languages. JSRs: Java Specification Requests. \n                    https:\/\/jcp.org\/en\/jsr\/detail?id=45"},{"key":"3_CR57","unstructured":"Palanque P (1992) Mod\u00e9lisation par Objets Coop\u00e9ratifs Interactifs d\u2019interfaces homme-machine dirig\u00e9es par l\u2019utilisateur. PhD, Toulouse I"},{"volume-title":"Formal methods in human-computer interaction","year":"1997","key":"3_CR58","unstructured":"Palanque P, Paterno F (eds) (1997) Formal methods in human-computer interaction. Springer, London"},{"key":"3_CR59","unstructured":"Pallotta V, Bruegger P, Hirsbrunner B (2008) Kinetic user interfaces: physical embodied interaction with mobile ubiquitous computing systems. In: Kouadri-Most\u00e9faoui S, Maamar M, Giaglis P (eds) Advances in ubiquitous computing: future paradigms and directions. IGI Global Publishing, pp 201\u2013228. ISBN: 978-1-599-04840-6"},{"volume-title":"Seeheim workshop on user interface management systems","year":"1985","key":"3_CR60","unstructured":"Pfaff G, Hagen P (eds) (1985) Seeheim workshop on user interface management systems. Springer, Berlin"},{"issue":"2","key":"3_CR61","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/TSE.1981.234520","volume":"7","author":"P Reisner","year":"1981","unstructured":"Reisner P (1981) Formal grammar and human factors design of an interactive graphics system. IEEE Trans Softw Eng 7(2):229\u2013240. doi:\n                    10.1109\/TSE.1981.234520","journal-title":"IEEE Trans Softw Eng"},{"key":"3_CR62","volume-title":"The mystery of consciousness","author":"J Searle","year":"1997","unstructured":"Searle J (1997) The mystery of consciousness. Granta Books, London"},{"key":"3_CR63","unstructured":"Shackel B (1959) Ergonomics for a computer design 120:36\u201339. \n                    http:\/\/www.idemployee.id.tue.nl\/g.w.m.rauterberg\/presentations\/shackel-1959.PDF"},{"key":"3_CR64","unstructured":"Sherman J (2013) Half of benefit claimants lack skill to complete online forms. The Times, London. \n                    http:\/\/www.thetimes.co.uk\/tto\/news\/uk\/article3914355.ece"},{"key":"3_CR65","doi-asserted-by":"publisher","unstructured":"Silver D et al (2016) Mastering the game of Go with deep neural networks and tree search. Nature 529:484\u2013489. doi:\n                    10.1038\/nature16961","DOI":"10.1038\/nature16961"},{"key":"3_CR66","volume-title":"Denotational semantics: the Scott-Strachey approach to programming language semantics","author":"J Stoy","year":"1977","unstructured":"Stoy J (1977) Denotational semantics: the Scott-Strachey approach to programming language semantics. MIT Press, Cambridge, Massachusetts"},{"key":"3_CR67","doi-asserted-by":"crossref","unstructured":"Sufrin B (1982) Formal specification of a display-oriented text editor. Sci Comput Program 1:157\u2013202. North Holland Publishing Co","DOI":"10.1016\/0167-6423(82)90014-4"},{"key":"3_CR68","unstructured":"TACIT (1998\u20132002) Theory and applications of continuous interaction techniques. EU TMR Network Contract: ERB FMRX CT97 0133. \n                    http:\/\/www.webalice.it\/giorgio.faconti\/TACIT\/TACITweb\/doclist.html"},{"key":"3_CR69","unstructured":"Thimbleby H, Harrison M (eds) (1990) Formal methods in human-computer interaction. Cambridge University Press"},{"key":"3_CR70","unstructured":"Thimbleby H (2007) Using the Fitts law with state transition systems to find optimal task timings. In: Proceedings of second international workshop on formal methods for interactive systems, FMIS2007. \n                    http:\/\/www.dcs.qmul.ac.uk\/research\/imc\/hum\/fmis2007\/preproceedings\/FMIS2007preproceedings.pdf"},{"key":"3_CR71","unstructured":"Thomas J, Cook K (2005) Illuminating the path: research and development agenda for visual analytics. IEEE Press"},{"issue":"9","key":"3_CR72","doi-asserted-by":"publisher","first-page":"e6","DOI":"10.4108\/eai.23-8-2016.151641","volume":"16","author":"T Turchi","year":"2016","unstructured":"Turchi T, Malizia A (2016) A human-centred tangible approach to learning computational thinking. EAI Endorsed Trans Ambient Syst 16(9):e6. doi:\n                    10.4108\/eai.23-8-2016.151641","journal-title":"EAI Endorsed Trans Ambient Syst"},{"key":"3_CR73","doi-asserted-by":"publisher","unstructured":"UIMS (1992) A metamodel for the runtime architecture of an interactive system. The UIMS developers workshop. SIGCHI Bull 24(1):32\u201337. ACM. doi:\n                    10.1145\/142394.142401","DOI":"10.1145\/142394.142401"},{"key":"3_CR74","doi-asserted-by":"crossref","unstructured":"Weiser M (1991) The computer of the 21st century. Sci Am 265(3):66\u201375","DOI":"10.1038\/scientificamerican0991-94"},{"key":"3_CR75","doi-asserted-by":"crossref","unstructured":"Whittington P, Dogan H (2016) A smart disability framework: enhancing user interaction. In: Proceedings of the 2016 British HCI conference","DOI":"10.14236\/ewic\/HCI2016.24"},{"key":"3_CR76","doi-asserted-by":"publisher","unstructured":"Woodcock J, Larsen P, Bicarregui J, Fitzgerald J (2009) Formal methods: practice and experience. ACM Comput Surv 41(4):19. doi:\n                    10.1145\/1592434.1592436","DOI":"10.1145\/1592434.1592436"},{"key":"3_CR77","unstructured":"Wurdel M (2011) An integrated formal task specification method for smart environments. University of Rostock. ISBN: 978-3-8325-2948-2"},{"key":"3_CR78","unstructured":"Yadron D, Tynan D (2016) Tesla driver dies in first fatal crash while using autopilot mode. Guardian"}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:30:06Z","timestamp":1557963006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_3","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}