{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:42:49Z","timestamp":1725493369454},"publisher-location":"London","reference-count":30,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846289408"},{"type":"electronic","value":"9781846289415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-84628-941-5_3","type":"book-chapter","created":{"date-parts":[[2007,10,22]],"date-time":"2007-10-22T07:57:41Z","timestamp":1193039861000},"page":"56-74","source":"Crossref","is-referenced-by-count":2,"title":["Connecting Rigorous System Analysis to Experience-Centered Design"],"prefix":"10.1007","author":[{"given":"Michael","family":"Harrison","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Gavin","family":"Doherty","sequence":"additional","affiliation":[]},{"given":"Karsten","family":"Loer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Agile working group (2004). The agile manifesto. http:\/\/agilemanifesto.org."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bannon, L. (2005). A human-centred perspective on interaction design. In A. Pirhonen, H. Isom\u00e4ki, C. Roast, P. Saariluoma (Eds.), Future Interaction Design (pp. 31\u201352). Springer-Verlag","DOI":"10.1007\/1-84628-089-3_3"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., & Zanolin, L. (2005). Modeling and validation of publish \/subscribe architectures. In S. Beydeda & V. Gruhn (Eds.), Testing Commercial-off-the-shelf Components and Systems (pp. 273\u2013292). Springer-Verlag.","DOI":"10.1007\/3-540-27071-X_13"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., & Larsen, K. (2004). A tutorial on uppaal. In M. Bernardo & F. Corradini, F. (Eds.), Formal methods for the design of real-time systems. Springer Lecture Notes in Computer Science n\u02c6 3185 (pp. 200\u2013236). Springer-Verlag.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"3_CR5","first-page":"424","volume-title":"Proceedings Designing Interactive Systems (DIS\u201900)","author":"M. Buchenau","year":"2000","unstructured":"Buchenau, M., & Suri, J. (2000). Experience prototyping. In Proceedings Designing Interactive Systems (DIS\u201900) (pp. 424\u2013433). New York: ACM Press."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Campos, J. & Doherty, G. (2006). Supporting resource-based analysis of task information needs. In M. Harrison & S. Gilroy (Eds.), Proceedings 12th International Workshop on the Design, Specification and Verification of Interactive Systems. Springer Lecture Notes in Computer Science n\u02c6 3941 (pp. 188\u2013200). Springer-Verlag.","DOI":"10.1007\/11752707_16"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J. Campos","year":"2001","unstructured":"Campos, J. & Harrison, M. (2001). Model checking interactor specifications. Automated Software Engineering, 8, 275\u2013310.","journal-title":"Automated Software Engineering"},{"key":"3_CR8","unstructured":"De Nicola, R., Latella, D., & Massink, M. (2005). Formal modelling and quantitative analysis of KLAIM-based mobile systems. In H. Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M. Wilds, H. Clausen (Eds.), Applied Computing 2005: Proceedings of the 20th Annual ACM Symposium on Applied Computing (pp. 428\u2013435)."},{"issue":"2","key":"3_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. (2001). Using hybrid automata to support human factors analysis in a critical system. Journal of Formal Methods in System Design, 19(2), 143\u2013164.","journal-title":"Journal of Formal Methods in System Design"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (2004). Reasoning about knowledge. MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"3_CR11","volume-title":"Analysis of erroneous actions in the design of critical systems. PhD thesis","author":"R. Fields","year":"2001","unstructured":"Fields, R. (2001). Analysis of erroneous actions in the design of critical systems. PhD thesis, Department of Computer Science, University of York, Heslington, York, YO10 5DD."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Garlan, D., Khersonsky, S., & Kim, J. (2003). Model checking publish-subscribe systems. In Proceedings of the 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, Oregon.","DOI":"10.1007\/3-540-44829-2_11"},{"issue":"1","key":"3_CR13","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. (1999). Design: cultural probes. ACM Interactions, 6(1), 21\u201329.","journal-title":"ACM Interactions"},{"issue":"3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1207\/s15327051hci1303_2","volume":"13","author":"W. Gray","year":"1998","unstructured":"Gray, W., & Salzman, M. (1998). Damaged merchandise? a review of experiments that compare usability evaluation methods. Human Computer Interaction 13(3), 203\u2013261.","journal-title":"Human Computer Interaction"},{"key":"3_CR15","unstructured":"Grudin, J. & Pruitt, J. (2002). Personas, participatory design and product development: an infrastructure for engagement. In Proceedings PDC 2002pp. 144\u2013161)."},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/513665.513668","volume":"9","author":"L. Halnass","year":"2002","unstructured":"Halnass, L. & Redstrom, J. (2002). From use to presence: on the expressions and aesthetics of everyday computational things. ACM Transactions on Computer-Human Interaction, 9(2), 106\u2013124.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"3_CR17","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. Science of Computer Programming, 8, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"3_CR18","unstructured":"Harrison, M., & Loer, K. (2006). Time as a dimension in the design and analysis of interactive systems. Technical Report CS-TR-980, School of Computing Science, University of Newcastle."},{"key":"3_CR19","unstructured":"Lewis, C., Polson, P., Wharton, C., & Rieman, J. (1990). Testing a walkthrough methodology for theory based design of walk-up-and-use interfaces. In: J. Chew & J. Whiteside (Eds.), ACM-CHI 90 (pp. 235\u2013242). Addison-Wesley."},{"key":"3_CR20","unstructured":"Loer, K., & Harrison, M. (2004). Analysing and modelling context in mobile systems to support design. Technical Report CS-TR-876, School of Computing Science, University of Newcastle upon Tyne."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Loer, K., & Harrison, M. (2005). Analysing user confusion in context aware mobile applications. In M. Constabile M & F. Patern\u00f3 (Eds.), Proceedings INTERACT 2005, Springer Lecture Notes in Computer Science n\u02c6 3585 (pp. 184\u2013197). Springer-Verlag.","DOI":"10.1007\/11555261_18"},{"issue":"4","key":"3_CR22","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. (2006). An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation. Automated Software Engineering, 13(4), 469\u2013496.","journal-title":"Automated Software Engineering"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Loer K, Hildebrandt, M., & Harrison, M. (2004). Analysing dynamic function scheduling decisions. In C. Johnson & P. Palanque (Eds.), Human Error, Safety and Systems Development (pp. 45\u201360). Kluwer Academic.","DOI":"10.1007\/1-4020-8153-7_4"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"McCarthy, J., & Wright, P. (2004). Technology as experience. MIT Press.","DOI":"10.1145\/1015530.1015549"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"McMillan, K. (1993) Symbolic model checking. Kluwer.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"3_CR26","first-page":"249","volume-title":"Proc. of ACM CHI\u201992 Conference on Human Factors in Computing Systems","author":"J. Nielsen","year":"1992","unstructured":"Nielsen, J. (1992). Finding usability problems through heuristic evaluation. In Proc. of ACM CHI\u201992 Conference on Human Factors in Computing Systems (pp. 249\u2013256). New York: ACM."},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Nilsson, J., Sokoler, T., Binder, T., & Wetcke, N. (2000). Beyond the control room: mobile devices for spatially distributed interaction on industrial process plants. In P.Thomas & H. W. Gellersen (Eds.), Handheld and Ubiquitous Computing, HUC\u20192000, Springer Lecture Notes in Computer Science n\u02c6 1927 (pp. 30\u201345). Springer-Verlag.","DOI":"10.1007\/3-540-39959-3_3"},{"key":"3_CR28","unstructured":"Pocock, S., Harrison, M., Wright, P., & Johnson, P. (2001). THEA: A technique for human error assessment early in design. In M. Hirose (Ed.), Human-Computer Interaction INTERACT\u201901 IFIP TC.13 International Conference on human computer interaction (pp. 247\u2013254). IOS Press."},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Rosson, M., & Carroll, J. (2002). Usability Engineering: scenario-based development of human computer interaction. Morgan Kaufman.","DOI":"10.1016\/B978-155860712-5\/50011-4"},{"key":"3_CR30","unstructured":"ten Beek, M., Massink, M., & Latella, D. (2006). Towards model checking stochastic aspects of the thinkteam user interface. In M. Harrison & S. Gilroy (Eds.), Proceedings 12th International Workshop on the Design, Specification and Verification of Interactive Systems. Springer Lecture Notes in Computer Science n\u02c6 3941(pp. 39\u201350). Springer-Verlag."}],"container-title":["Human-Computer Interaction Series","Maturing Usability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-941-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:36:39Z","timestamp":1556908599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-941-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781846289408","9781846289415"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-941-5_3","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2008]]}}}