{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:34:59Z","timestamp":1767137699004,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":40,"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_12","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"319-341","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Interactive Systems in Dynamic Situations of Use"],"prefix":"10.1007","author":[{"given":"Judy","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annika","family":"Hinze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Back R, Mikhajlova A, von Wright J (1999) Reasoning about interactive systems. In: Formal methods 1999 (FM99). Springer, pp 1460\u20131476","DOI":"10.1007\/3-540-48118-4_27"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee T, Hendler J, Lassila O et al (2001) The semantic web. Sci Am 284(5):28\u201337","DOI":"10.1038\/scientificamerican0501-34"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bodeau DJ, Graubart RD, Fabius-Greene J (2010) Improving cyber security and mission assurance via cyber preparedness (Cyber Prep) levels. In: IEEE international conference on social computing, pp 1147\u20131152","DOI":"10.1109\/SocialCom.2010.170"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bowen J, Hinze A (2012) Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. In: ACM SIGCHI symposium on engineering interactive computing systems, EICS\u201912, pp 247\u2013256","DOI":"10.1145\/2305484.2305525"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bowen J, Reeves S (2008) Formal models for user interface design artefacts. Innov Syst Softw Eng 4(2):125\u2013141","DOI":"10.1007\/s11334-008-0049-0"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bowen J, Hinze A, Reid S (2014) Model-driven tools for medical device selection. In: ACM SIGCHI symposium on engineering interactive computing systems, EICS\u201914, pp 129\u2013138","DOI":"10.1145\/2607023.2607026"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Cheok AD, Rehman\u00a0Mustafa AU, Fernando ONN, Barthoff AK, Wijesena IJP, Tosa N (2007) Blogwall: displaying artistic and poetic messages on public displays via sms. In: Mobile HCI. ACM, pp 483\u2013486","DOI":"10.1145\/1377999.1378058"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Cheverst K, Davies N, Mitchell K, Friday A, Efstratiou C (2000) Developing a context-aware electronic tourist guide: some issues and experiences. In: SIGCHI conference on human factors in computing systems. ACM, pp 17\u201324","DOI":"10.1145\/332040.332047"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Comfort LK, Haase TW (2006) Communication, coherence, and collective action: the impact of Hurricane Katrina on communications infrastructure. Public Works Manage Policy 1\u201316","DOI":"10.1177\/1087724X06289052"},{"key":"12_CR10","unstructured":"Davies N, Clinch S, Alt F (2014) Morgan & Claypool Publishers"},{"key":"12_CR11","unstructured":"Diehl S, Neuvel J, Zlatanova S, Scholten H (2005) Investigation of user requirements in the emergency response sector: the dutch case. In: Second Gi4DM. Springer, pp 3\u201319"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Fortin C, DiPaola S, Hennessy K, Bizzocchi J, Neustaedter C (2013) Medium-specific properties of urban screens: towards an ontological framework for digital public displays. In: 9th ACM conference on creativity and cognition. ACM, pp 243\u2013252","DOI":"10.1145\/2466627.2466629"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Gennari JH, Musen MA, Fergerson RW, Grosso WE, Crubzy M, Eriksson H, Noy NF, Tu SW (2002) The evolution of protg: an environment for knowledge-based systems development. Int J Hum-Comput Stud 58:89\u2013123","DOI":"10.1016\/S1071-5819(02)00127-1"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Hinze A, Bainbridge D (2015) Location-triggered mobile access to a digital library of audio books using tipple. Int J Digital Libr 1\u201327: doi: 10.1007\/s00799-015-0165-z","DOI":"10.1007\/s00799-015-0165-z"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Hinze A, Sachs K, Buchmann A (2009) Event-based applications and enabling technologies. In: Proceedings of the third ACM international conference on distributed event-based systems. ACM, pp 1\u201315","DOI":"10.1145\/1619258.1619260"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Horita FE, de Albuquerque JP, Degrossi LC, Mendiondo EM, Ueyama J (2015) Development of a spatial decision support system for flood risk management in Brazil that combines volunteered geographic information with wireless sensor networks. Comput Geosci 80:84\u201394","DOI":"10.1016\/j.cageo.2015.04.001"},{"key":"12_CR17","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004a) SWRL: a semantic web rule language combining owl and ruleml. W3c member submission"},{"key":"12_CR18","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M, et\u00a0al (2004b) SWRL: a semantic web rule language combining OWL and RuleML. W3C Member submission 21:79"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Hosio S, Kukka H, Jurmu M, Ojala T, Riekki J (2010) Enhancing interactive public displays with social networking services. In: 9th international conference on mobile and ubiquitous multimedia. ACM, MUM\u201910, pp 23:1\u201323:9","DOI":"10.1145\/1899475.1899498"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Jiang X, Hong JI, Takayama L, Landay JA (2004) Ubiquitous computing for firefighters: field studies and prototypes of large displays for incident command. In: 2004 conference on human factors in computing systems. CHI, pp 679\u2013686","DOI":"10.1145\/985692.985778"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Kostakos V, Jurmu M, Ojala T, Hosio S, Lind\u00e9n T, Zanni D, Kruger F, Heikkinen T, Kukka H (2012) Multipurpose interactive public displays in the wild: three years later. Computer 45(5):42\u201349. doi: 10.1109\/MC.2012.115","DOI":"10.1109\/MC.2012.115"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"K\u00f6ster M, Schmitz M, Gehring S (2015) Gravity games: a framework for interactive space physics on media facades. In: 4th international symposium on pervasive displays. ACM, PerDis\u201915, pp 115\u2013121","DOI":"10.1145\/2757710.2757717"},{"key":"12_CR23","unstructured":"Lenat DB, Guha RV (1989) Building large knowledge-based systems; representation and inference in the Cyc project. Addison-Wesley Longman Publishing Co. Inc"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Lu Y, Yang D (2011) Information exchange in virtual communities under extreme disaster conditions. Decis Supp Syst 50(2):529\u2013538","DOI":"10.1016\/j.dss.2010.11.011"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Majumder A, Sajadi B (2013) Large area displays: the changing face of visualization. IEEE Comput 46(5):26\u201333","DOI":"10.1109\/MC.2012.429"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Ojala T, Kostakos V, Kukka H, Heikkinen T, Linden T, Jurmu M, Hosio S, Kruger F, Zanni D (2012) Multipurpose interactive public displays in the wild: three years later. Computer 45(5):42\u201349","DOI":"10.1109\/MC.2012.115"},{"key":"12_CR27","unstructured":"Olech PS, Cernea D, Meyer H, Schoeffel S, Ebert A (2012) Digital interactive public pinboards for disaster and crisis management-concept and prototype design. In: International conference on information and knowledge engineering (IKE). WorldComp, p\u00a01"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Parush A, Ma C (2012) Team displays work, particularly with communication breakdown: performance and situation awareness in a simulated forest fire. In: Human factors and ergonomics society annual meeting, vol\u00a056. Sage Publications","DOI":"10.1177\/1071181312561087"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Rauschert I, Agrawal P, Sharma R, Fuhrmann S, Brewer I, MacEachren A (2002) Designing a human-centered, multimodal gis interface to support emergency management. In: Proceedings of the 10th ACM international symposium on advances in geographic information systems. ACM, pp 119\u2013124","DOI":"10.1145\/585147.585172"},{"key":"12_CR30","unstructured":"Robillard J, Sambrook RC (2008) Usaf emergency and incident management systems: a systematic analysis of functional requirements. Technical report, white paper for United States Air Force Space Command. http:\/\/www.uccs.edu\/rsambroo\/Research\/EIM_REQS.pdf"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Sakaki T, Okazaki M, Matsuo Y (2010) Earthquake shakes twitter users: real-time event detection by social sensors. In: 19th international conference on world wide web. ACM, pp 851\u2013860","DOI":"10.1145\/1772690.1772777"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Schilit B, Adams N, Want R (1994) Context-aware computing applications. In: First workshop on mobile computing systems and application. IEEE, pp 85\u201390","DOI":"10.1109\/WMCSA.1994.16"},{"key":"12_CR33","unstructured":"Sch\u00f6ning J, Rohs M, Kr\u00fcger A, Stasch C (2008) Improving the communication of spatial information in crisis response by combining paper maps and mobile devices. In: Mobile response. Springer, pp 57\u201365"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Schultz CH, Koenig KL, Noji EK (1996) A medical disaster response to reduce immediate mortality after an earthquake. New Engl J Med 334(7):438\u2013444","DOI":"10.1056\/NEJM199602153340706"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Thelen S, Cernea D, Olech PS, Kerren A, Ebert A (2010) DIP\u2014a digital interactive pinboard with support for smart device interaction","DOI":"10.2316\/P.2010.727-002"},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Werner-Allen G, Lorincz K, Ruiz M, Marcillo O, Johnson J, Lees J, Welsh M (2006) Deploying a wireless sensor network on an active volcano. IEEE Internet Comput 10(2):18\u201325","DOI":"10.1109\/MIC.2006.26"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Xie H, Filippidis L, Gwynne S, Galea ER, Blackshields D, Lawrence PJ (2007) Signage legibility distances as a function of observation angle. J Fire Protect Eng 17(1):41\u201364","DOI":"10.1177\/1042391507064025"},{"key":"12_CR38","unstructured":"Yang L, Prasanna R, King M (2009) On-site information systems design for emergency first responders. J Inf Technol Theory Appl 10(1):5\u201327"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Yang L, Yang S, Plotnick L (2013) How the internet of things technology enhances emergency response operations. Technol Forecast Soc Change 80(9):1854\u20131867","DOI":"10.1016\/j.techfore.2012.07.011"},{"key":"12_CR40","doi-asserted-by":"crossref","unstructured":"Yates D, Paquette S (2011) Emergency knowledge management and social media technologies: a case study of the 2010 Haitian earthquake. Int J Inf Manag 31(1):6\u201313","DOI":"10.1016\/j.ijinfomgt.2010.10.001"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T14:08:13Z","timestamp":1569074893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_12","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}