{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:41:50Z","timestamp":1767138110113,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":31,"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_6","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"161-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Combining Models for Interactive System Modelling"],"prefix":"10.1007","author":[{"given":"Judy","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11334-010-0129-9","volume":"6","author":"ML Bolton","year":"2010","unstructured":"Bolton ML, Bass EJ (2010) Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. Innov Syst Softw Eng A NASA J 6(3):219\u2013231","journal-title":"Innov Syst Softw Eng A NASA J"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bowen J, Reeves S (2006a) Formal models for informal GUI designs. In: 1st international workshop on formal methods for interactive systems, Macau SAR China, 31 October 2006. electronic notes in theoretical computer science, Elsevier, vol 183, pp 57\u201372","DOI":"10.1016\/j.entcs.2007.01.061"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Bowen J, Reeves S (2006b) Formal refinement of informal GUI design artefacts. In: Australian software engineering conference (ASWEC\u201906). IEEE, pp 221\u2013230","DOI":"10.1109\/ASWEC.2006.28"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s11334-008-0049-0","volume":"4","author":"J Bowen","year":"2008","unstructured":"Bowen J, Reeves S (2008) Formal models for user interface design artefacts. Innov Syst Softw Eng 4(2):125\u2013141","journal-title":"Innov Syst Softw Eng"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bowen J, Reeves S (2013) Modelling safety properties of interactive medical systems. In: 5th ACM SIGCHI symposium on engineering interactive computing systems, EICS\u201913. ACM, pp 91\u2013100","DOI":"10.1145\/2494603.2480314"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bowen J, Reeves S (2014) A simplified Z semantics for presentation interaction models. In: FM 2014: formal methods\u201419th international symposium, Singapore, pp 148\u2013162","DOI":"10.1007\/978-3-319-06410-9_11"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Courtney A (2003) Functionally modeled user interfaces. In: Interactive systems. design, specification, and verification. 10th international workshop DSV-IS 2003. Lecture notes in computer science, LNCS. Springer, pp 107\u2013123","DOI":"10.1007\/978-3-540-39929-2_8"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Derrick J, Boiten E (2014) Refinement in Z and object-Z: foundations and advanced applications. Formal approaches to computing and information technology, 2nd edn. Springer","DOI":"10.1007\/978-1-4471-5355-9"},{"key":"6_CR9","unstructured":"Dix A, Runciman C (1985) Abstract models of interactive systems. Designing the interface, people and computers, pp 13\u201322"},{"key":"6_CR10","unstructured":"Duke DJ, Harrison MD (1995) Interaction and task requirements. In: Palanque P, Bastide R (eds) Eurographics workshop on design, specification and verification of interactive system (DSV-IS\u201995). Springer, pp 54\u201375"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Duke DJ, Faconti GP, Harrison MD, Patern\u00f2 F (1994) Unifying views of interactors. In: Advanced visual interfaces, pp 143\u2013152","DOI":"10.1145\/192309.192341"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s001650050044","volume":"11","author":"DJ Duke","year":"1999","unstructured":"Duke DJ, Fields B, Harrison MD (1999) A case study in the specification and analysis of design alternatives for a user interface. Formal Asp Comput 11(2):107\u2013131","journal-title":"Formal Asp Comput"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"key":"6_CR14","unstructured":"Harrison MD, Dix A (1990) A state model of direct manipulation in interactive systems. In: Formal methods in human-computer interaction. Cambridge University Press, pp 129\u2013151"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Henson MC, Deutsch M, Reeves S (2008) Z Logic and its applications. Monographs in theoretical computer science. An EATCS series. Springer, pp 489\u2013596","DOI":"10.1007\/978-3-540-74107-7_10"},{"key":"6_CR16","unstructured":"Hussey A, MacColl I, Carrington D (2000) Assessing usability from formal user-interface designs. Technical report, TR00-15, Software Verification Research Centre, The University of Queensland"},{"key":"6_CR17","unstructured":"ISO, IEC 13568 (2002) Information technology-Z formal specification notation-syntax, type system and semantics. International series in computer science, 1st edn. Prentice-Hall, ISO\/IEC"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Jacob RJK (1982) Using formal specifications in the design of a human-computer interface. In: 1982 conference on human factors in computing systems. ACM Press, pp 315\u2013321","DOI":"10.1145\/800049.801802"},{"key":"6_CR19","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: 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":"6_CR20","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 FM (2001) Task models in interactive software systems. Handbook of software engineering and knowledge engineering","DOI":"10.1142\/9789812389718_0034"},{"key":"6_CR21","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, specification and verification of interactive systems. Springer, pp 155\u2013173","DOI":"10.1007\/978-3-7091-9437-9_4"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Philipps J, Scholz P (1998) Formal verification and hardware design with statecharts. In: Prospects for hardware foundations, ESPRIT working group 8533. NADA\u2014new hardware design methods, survey chapters, pp 356\u2013389","DOI":"10.1007\/3-540-49254-2_11"},{"key":"6_CR23","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\/502743.502763"},{"key":"6_CR24","unstructured":"Reeve G (2005) A refinement theory for $$\\mu $$ charts. PhD thesis, The University of Waikato"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Reeve G, Reeves S (2000a) $$\\mu $$ -charts and Z: examples and extensions. In: Proceedings of APSEC 2000. IEEE Computer Society, pp 258\u2013265","DOI":"10.1109\/APSEC.2000.896707"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Reeve G, Reeves S (2000b) $$\\mu $$ -charts and Z: hows, whys and wherefores. In: Grieskamp W, Santen T, Stoddart B (eds) Integrated formal methods 2000: proceedings of the 2nd international workshop on integrated formal methods. LNCS, vol 1945. Springer, pp 255\u2013276","DOI":"10.1007\/3-540-40911-4_15"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Reichart D, Dittmar A, Forbrig P, Wurdel M (2008) Tool support for representing task models, dialog models and user-interface specifications. In: Interactive systems. Design, specification, and verification: 15th international workshop, DSV-IS\u201908. Springer, Berlin, pp 92\u201395","DOI":"10.1007\/978-3-540-70569-7_8"},{"key":"6_CR28","unstructured":"Scholz P (1996) An extended version of mini-statecharts. Technical report, TUM-I9628, Technische Univerit\u00e4t M\u00fcnchen. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9628.html"},{"key":"6_CR29","first-page":"57","volume-title":"The software engineer\u2019s reference book","author":"H Thimbleby","year":"1990","unstructured":"Thimbleby H (1990) Design of interactive systems. In: McDermid JA (ed) The software engineer\u2019s reference book. Butterworth-Heineman, Oxford, Chap, p 57"},{"issue":"2","key":"6_CR30","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/1005361.1005364","volume":"11","author":"H Thimbleby","year":"2004","unstructured":"Thimbleby H (2004) User interface design with matrix algebra. ACM Trans Comput Hum Interact 11(2):181\u2013236","journal-title":"ACM Trans Comput Hum Interact"},{"key":"6_CR31","unstructured":"Woodcock J, Davies J (1996) Using Z: specification, refinement and proof. Prentice Hall"}],"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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:51:24Z","timestamp":1750189884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_6","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}