{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:55:51Z","timestamp":1767138951232,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319518374","type":"print"},{"value":"9783319518381","type":"electronic"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_2","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"57-64","source":"Crossref","is-referenced-by-count":0,"title":["Topics of Formal Methods in HCI"],"prefix":"10.1007","author":[{"given":"Judy","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Dix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Weyers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"2_CR1","unstructured":"Abi-Aad R, Sinnig D, Radhakrishnan T, Seffah A (2003) CoU: context of use model for user interface designing. In: Proceedings of HCI international 2003, vol 4, LEA, pp 8\u201312"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-16066-0_19","volume-title":"Cooperative design, visualization, and engineering","author":"SL Antonaya","year":"2010","unstructured":"Antonaya SL, Santos C (2010) Towards a framework for the development of CSCW systems. In: Luo Y (ed) Cooperative design, visualization, and engineering, vol 6240. Lecture Notes in Computer Science. Springer, Berlin Heidelberg, pp 117\u2013120"},{"key":"2_CR3","unstructured":"Baecker RM, Grudin J, Buxton WAS, Greenberg S (eds) (1995) Readings in human-computer interaction: toward the year 2000, 2nd edn. Morgan Kaufmann"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bowen J, Reeves S (2009) Supporting multi-path UI development with vertical refinement. In: 20th Australian software engineering conference (ASWEC 2009), 14\u201317 April 2009. Gold Cost, Australia, pp 64\u201372","DOI":"10.1109\/ASWEC.2009.24"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Bowen J, Reeves S (2013) Modelling safety properties of interactive medical systems. In: Proceedings of the 5th ACM SIGCHI symposium on engineering interactive computing systems, ACM, New York, NY, USA, EICS \u201913, pp 91\u2013100. doi: 10.1145\/2480296.2480314","DOI":"10.1145\/2480296.2480314"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-7091-9437-9_9","volume-title":"Design, specification and verification of interactive systems \u201995","author":"C Bramwell","year":"1995","unstructured":"Bramwell C, Fields RE, Harrison MD (1995) Exploring design options rationally. In: Palanque P, Bastide R (eds) Design, specification and verification of interactive systems \u201995. Springer, Wien, pp 134\u2013148"},{"key":"2_CR7","unstructured":"Butterworth R, Blandford A (1997) Programmable user models: the story so far. Puma working paper WP8, Middlesex University"},{"key":"2_CR8","unstructured":"Correani F, Mori G, Patern\u00f2 FM (2004) Supporting flexible development of multi-device interfaces. In: EHCI\/DS-VIS, pp 346\u2013362"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Costa PD, Guizzardi G, Almeida JPA, Pires LF, van Sinderen M (2006) Situations in conceptual modeling of context. In: EDOC workshops, pp 6","DOI":"10.1109\/EDOCW.2006.62"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Curzon P, Blandford A (2002) From a formal user model to design rules. In: Goos G, Hartmanis J, van Leeuwen J (eds) Interactive systems: design, specification and verification, no. 2545 in Lecture Notes in Computer Science, Springer Berlin, pp 1\u201315","DOI":"10.1007\/3-540-36235-5_1"},{"key":"2_CR11","first-page":"273","volume-title":"Eurographics workshop on design specification and verification of interactive systems, DSVIS 97","author":"GJ Doherty","year":"1997","unstructured":"Doherty GJ, Harrison MD (1997) A representational approach to the specification of presentations. Eurographics workshop on design specification and verification of interactive systems, DSVIS 97. Granada, Spain, pp 273\u2013290"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Eisenstein J, Puerta A (2000) Adaptation in automated user-interface design. In: IUI \u201900: Proceedings of the 5th international conference on Intelligent user interfaces, ACM Press, pp 74\u201381","DOI":"10.1145\/325737.325787"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Guicking A, Tandler P, Avgeriou P (2005) Agilo: a highly flexible groupware framework. In: Groupware: design, implementation, and use. In: Proceedings of 11th international workshop, CRIWG 2005, Porto de Galinhas, Brazil, pp 49\u201356, 25\u201329 Sept 2005","DOI":"10.1007\/11560296_4"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Jacky J (1997) The Way of Z: practical programming with formal methods. Cambridge University Press","DOI":"10.1017\/CBO9780511574924"},{"key":"2_CR15","unstructured":"Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L, L\u00f3pez-Jaquero V (2004) UsiXML: A language supporting multi-path development of user interfaces. In: Proceedings of 9th IFIP working conference on engineering for human-computer interaction jointly with 11th international workshop on design, specification, and verification of interactive systems, EHCI-DSVIS\u20192004, Kluwer Academic Press, pp 200\u2013220"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Loer K, Harrison MD (2002) Towards usable and relevant model checking techniques for the analysis of dependable interactive systems. In: Emmerich W, Wile D (eds) Proceedings 17th international conference on automated software engineering, IEEE Computer Society, pp 223\u2013226. http:\/\/citeseer.ist.psu.edu\/loer02towards.html","DOI":"10.1109\/ASE.2002.1115016"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Michotte B, Vanderdonckt J (2008) Grafixml, a multi-target user interface builder based on usixml. In: ICAS \u201908: Proceedings of the fourth international conference on autonomic and autonomous systems (ICAS\u201908), IEEE Computer Society, Washington, DC, USA, pp 15\u201322. doi: 10.1109\/ICAS.2008.29","DOI":"10.1109\/ICAS.2008.29"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Oliveira R, Dupuy-Chessa S, Calvary G (2015) Plasticity of user interfaces: formal verification of consistency. In: Proceedings of the 7th ACM SIGCHI symposium on engineering interactive computing systems, EICS 2015, Duisburg, Germany, June 23\u201326, 2015, pp 260\u2013265","DOI":"10.1145\/2774225.2775078"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 FM, Sciacchitano MS, Lowgren J (1995) A user interface evaluation mapping physical user actions to task-driven formal specification. In: Design, Specificationa nd Verification of Interactive Systems. Springer, pp 155\u2013173","DOI":"10.1007\/978-3-7091-9437-9_4"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Puerta A, Eisenstein J (2002) XIML: a universal language for user interfaces. In: Intelligent user interfaces (IUI). ACM Press, San Francisco","DOI":"10.1145\/502716.502763"},{"issue":"1","key":"2_CR21","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/226159.226162","volume":"3","author":"M Roseman","year":"1996","unstructured":"Roseman M, Greenberg S (1996) Building real-time groupware with groupkit, a groupware toolkit. ACM Trans Comput-Hum Interact 3(1):66\u2013106","journal-title":"ACM Trans Comput-Hum Interact"},{"key":"2_CR22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2383396","author":"H Thimbleby","year":"2015","unstructured":"Thimbleby H (2015) Safer user interfaces: a case study in improving number entry. IEEE Trans Softw Eng. doi: 10.1109\/TSE.2014.2383396","journal-title":"IEEE Trans Softw Eng"}],"updated-by":[{"DOI":"10.1007\/978-3-319-51838-1_21","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2017,7,29]],"date-time":"2017-07-29T00:00:00Z","timestamp":1501286400000}}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T14:49:27Z","timestamp":1719154167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_2","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}