{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:48Z","timestamp":1742914188466,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926979"},{"type":"electronic","value":"9783540926986"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92698-6_15","type":"book-chapter","created":{"date-parts":[[2008,12,23]],"date-time":"2008-12-23T01:44:26Z","timestamp":1229996666000},"page":"243-259","source":"Crossref","is-referenced-by-count":5,"title":["Factoring User Experience into the Design of Ambient and Mobile Systems"],"prefix":"10.1007","author":[{"given":"Michael D.","family":"Harrison","sequence":"first","affiliation":[]},{"given":"Christian","family":"Kray","sequence":"additional","affiliation":[]},{"given":"Zhiyu","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Huqiu","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Agile working group. The agile manifesto (2004), http:\/\/agilemanifesto.org"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/1-84628-089-3_3","volume-title":"Future Interaction Design","author":"L. Bannon","year":"2005","unstructured":"Bannon, L.: A human-centred perspective on interaction design. In: Pirhonen, A., Isom\u00e4ki, H., Roast, C., Saariluoma, P. (eds.) Future Interaction Design, pp. 31\u201352. Springer, Heidelberg (2005)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-27071-X_13","volume-title":"Testing Commercial-off-the-shelf Components and Systems","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Ghezzi, C., Zanolin, L.: Modeling and validation of publish \/ subscribe architectures. In: Beydeda, S., Gruhn, V. (eds.) Testing Commercial-off-the-shelf Components and Systems, pp. 273\u2013292. Springer, Heidelberg (2005)"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1080\/15710880412331289917","volume":"1","author":"K. Battarbee","year":"2005","unstructured":"Battarbee, K., Koskinen, I.: Co-experience: user experience as interaction. CoDesign\u00a01(1), 5\u201318 (2005)","journal-title":"CoDesign"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"15_CR6","first-page":"424","volume-title":"Proceedings Designing Interactive Systems (DIS 2000)","author":"M. Buchenau","year":"2000","unstructured":"Buchenau, M., Suri, J.: Experience prototyping. In: Proceedings Designing Interactive Systems (DIS 2000), pp. 424\u2013433. ACM Press, New York (2000)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J.C. Campos","year":"2001","unstructured":"Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering\u00a08, 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Latella, D., Massink, M.: Formal modelling and quantitative analysis of KLAIM-based mobile systems. In: Haddad, H., Liebrock, L., Omicini, A., Wainwright, R., Palakal, M., Wilds, M., Clausen, H. (eds.) Applied Computing 2005: Proceedings of the 20th Annual ACM Symposium on Applied Computing, pp. 428\u2013435 (2005)","DOI":"10.1145\/1066677.1066777"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1011232016683","volume":"19","author":"G. Doherty","year":"2001","unstructured":"Doherty, G., Massink, M., Faconti, G.: Using hybrid automata to support human factors analysis in a critical system. Journal of Formal Methods in System Design\u00a019(2), 143\u2013164 (2001)","journal-title":"Journal of Formal Methods in System Design"},{"key":"15_CR10","first-page":"261","volume-title":"Designing Interactive Systems (DIS 2004)","author":"J. Forlizzi","year":"2004","unstructured":"Forlizzi, J., Battarbee, K.: Understanding experience in interactive systems. In: Designing Interactive Systems (DIS 2004), pp. 261\u2013268. ACM Press, Cambridge (2004)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Garlan, D., Khersonsky, S., Kim, J.: Model checking publish-subscribe systems. In: Proceedings of the 10th International SPIN Workshop on Model Checking of Software (SPIN 2003), Portland, Oregon (2003)","DOI":"10.1007\/3-540-44829-2_11"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/291224.291235","volume":"6","author":"W. Gaver","year":"1999","unstructured":"Gaver, W., Dunne, T., Pacenti, E.: Design: cultural probes. ACM Interactions\u00a06(1), 21\u201329 (1999)","journal-title":"ACM Interactions"},{"key":"15_CR13","unstructured":"Gilroy, S.W., Olivier, P.L., Cao, H., Jackson, D.G., Kray, C., Lin, D.: Cross Board: Crossmodal Access of Dense Public Displays. In: International Workshop on Multimodal and Pervasive Services (MAPS 2006), Lyon, France (2006)"},{"key":"15_CR14","unstructured":"Grudin, J., Pruitt, J.: Personas, participatory design and product development: an infrastructure for engagement. In: Proceedings PDC 2002, pp. 144\u2013161 (2002)"},{"issue":"2","key":"15_CR15","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/513665.513668","volume":"9","author":"L. Halnass","year":"2002","unstructured":"Halnass, L., Redstrom, J.: From use to presence: on the expressions and aesthetics of everyday computational things. ACM Transactions on Computer-Human Interaction\u00a09(2), 106\u2013124 (2002)","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"15_CR16","first-page":"326","volume-title":"Proceedings of IUI 2005","author":"C. Kray","year":"2005","unstructured":"Kray, C., Kortuem, G., Krueger, A.: Adaptive navigation support with public displays. In: Amant, St., R., Riedl, J., Jameson, A. (eds.) Proceedings of IUI 2005, pp. 326\u2013328. ACM Press, New York (2005)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324. Springer, Heidelberg (2002)"},{"key":"15_CR18","first-page":"235","volume-title":"ACM-CHI 1990","author":"C. Lewis","year":"1990","unstructured":"Lewis, C., Polson, P., Wharton, C., Rieman, J.: Testing a walkthrough methodology for theory based design of walk-up-and-use interfaces. In: Chew, Whiteside (eds.) ACM-CHI 1990, pp. 235\u2013242. Addison-Wesley, Reading (1990)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11555261_18","volume-title":"Human-Computer Interaction - INTERACT 2005","author":"K. Loer","year":"2005","unstructured":"Loer, K., Harrison, M.D.: Analysing user confusion in context aware mobile applications. In: Costabile, M.F., Patern\u00f3, F. (eds.) INTERACT 2005. LNCS, vol.\u00a03585, pp. 184\u2013197. Springer, Heidelberg (2005)"},{"issue":"4","key":"15_CR20","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10515-006-7999-y","volume":"13","author":"K. Loer","year":"2006","unstructured":"Loer, K., Harrison, M.: An integrated framework for the analysis of dependable interactive systems (ifadis): its tool support and evaluation. Automated Software Engineering\u00a013(4), 469\u2013496 (2006)","journal-title":"Automated Software Engineering"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/1-4020-8153-7_4","volume-title":"Human Error, Safety and Systems Development","author":"K. Loer","year":"2004","unstructured":"Loer, K., Hildebrandt, M., Harrison, M.D.: Analysing dynamic function scheduling decisions. In: Johnson, C., Palanque, P. (eds.) Human Error, Safety and Systems Development, pp. 45\u201360. Kluwer Academic, Dordrecht (2004)"},{"key":"15_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6687.001.0001","volume-title":"Technology as Experience","author":"J. McCarthy","year":"2004","unstructured":"McCarthy, J., Wright, P.C.: Technology as Experience. MIT Press, Cambridge (2004)"},{"key":"15_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic model checking. Kluwer, Dordrecht (1993)"},{"key":"15_CR24","first-page":"249","volume-title":"Proc. of ACM CHI 1992 Conference on Human Factors in Computing Systems","author":"J. Nielsen","year":"1992","unstructured":"Nielsen, J.: Finding usability problems through heuristic evaluation. In: Proc. of ACM CHI 1992 Conference on Human Factors in Computing Systems, pp. 249\u2013256. ACM, New York (1992)"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Niu, N., Easterbrook, S.: On the use of model checking in verification of evolving agile software frameworks: an exploratory case study. In: MSVEIS 2005, pp. 115\u2013117 (2005)","DOI":"10.5220\/0002560801150117"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Singh, P., Ha, H.N., Kwang, Z., Olivier, P., Kray, C., Blythe, P., James, P.: Immersive Video as a Rapid Prototyping and Evaluation Tool for Mobile and Ambient Applications. In: Proceedings of Mobile HCI 2006, Espoo, Finland, 12th-15th September (2006)","DOI":"10.1145\/1152215.1152276"},{"key":"15_CR27","unstructured":"Weiser, M., Brown, J.: Designing Calm Technology (December 1995), http:\/\/www.ubiq.com\/hypertext\/weiser\/-calmtech\/calmtech.htm"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92698-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T10:15:16Z","timestamp":1738836916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92698-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926979","9783540926986"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92698-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}