{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:35:26Z","timestamp":1743035726154,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319518374"},{"type":"electronic","value":"9783319518381"}],"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_18","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"505-528","source":"Crossref","is-referenced-by-count":0,"title":["A Public Tool Suite for Modelling Interactive Applications"],"prefix":"10.1007","author":[{"given":"Marco","family":"Manca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Patern\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Santoro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Anzalone D, Manca M, Patern\u00f2 F, Santoro C (2015) Responsive task modelling. In: Proceedings of ACM SIGCHI symposium on engineering interactive computing systems, pp 126\u2013131","DOI":"10.1145\/2774225.2775079"},{"issue":"6","key":"18_CR4","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/s10009-009-0126-1","volume":"11","author":"ML Bernardi","year":"2009","unstructured":"Bernardi ML, Di Lucca GA, Distante D (2009a) The RE-UWA approach to recover user centered conceptual models from web applications. Int J Softw Tools Technol Transf 11(6):485\u2013501","journal-title":"Int J Softw Tools Technol Transf"},{"key":"18_CR6","unstructured":"Berti S, Correani F, Patern\u00f2 F, Santoro C (2004) The TERESA XML language for the description of interactive systems at multiple abstraction levels. In: Proceedings workshop on developing user interfaces with XML: advances on user interface description languages, pp 103\u2013110"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Caffiau S, Scapin D, Girard P, Baron M, Jambon F (2010) Increasing the expressive power of task analysis: systematic comparison and empirical assessment of tool-supported task models. Interact Comput 22(6):569\u2013593 (2010)","DOI":"10.1016\/j.intcom.2010.06.003"},{"key":"18_CR9","unstructured":"Calvary G, Coutaz J, Thevenin D, Bouillon L, Florins M, Limbourg Q, Souchon N, Vanderdonckt J, Marucci L, Patern\u00f2 F (2002) The CAMELEON reference framework. Deliverable D 1"},{"issue":"1","key":"18_CR10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1456650.1456652","volume":"41","author":"A Cockburn","year":"2008","unstructured":"Cockburn A, Karlson A, Bederson B (2008) A Review of overview+detail, zooming, and focus+context interfaces. ACM Comput Surv 41(1):2","journal-title":"ACM Comput Surv"},{"key":"18_CR11","first-page":"115","volume":"1995","author":"J Coutaz","year":"1995","unstructured":"Coutaz J, Nigay L, Salber D, Blandford A, May J, Young R (1995) Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. Proc Interact 1995:115\u2013120","journal-title":"Proc Interact"},{"key":"18_CR12","unstructured":"da Silva CBE (2010) Reverse engineering of rich internet applications. Master thesis, Minho University, 2010"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Dixon M, Laput G, Fogarty J (2014) Pixel-based methods for widget state and style in a runtime implementation of sliding widgets. In: Proceedings of annual conference on human factors in computing systems, pp 2231\u20132240","DOI":"10.1145\/2556288.2556979"},{"key":"18_CR14","first-page":"132","volume":"2006","author":"C Duarte","year":"2006","unstructured":"Duarte C, Carri\u00e7o L (2006) A conceptual framework for developing adaptive multimodal applications. Proc IUI 2006:132\u2013139","journal-title":"Proc IUI"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Eggers J, H\u00fclsmann A, Szwillus G (2013) Aufgabenmodellierung am Multi-Touch-Tisch. In: Boll S, Maa\u00df S, Malaka R (eds) Mensch & Computer 2013: Interaktive Vielfalt, pp 325\u2013328","DOI":"10.1524\/9783486781229.325"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Li P, Wohlstadter E (2008) View-based maintenance of graphical user interfaces. In: Proceedings of 7th international conference on aspect-oriented software development, p 156","DOI":"10.1145\/1353482.1353501"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L, L\u00f3pez-Jaquero V (2005) UsiXML: a language supporting multi-path development of user interfaces. In: Proceedings of engineering human computer interaction and interactive systems, pp 200\u2013220","DOI":"10.1007\/11431879_12"},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-642-22233-7_16","volume":"6757","author":"J Maras","year":"2011","unstructured":"Maras J, Stula M, Carlson J (2011) Reusing web application user-interface. Lect Notes Comput Sci 6757:228\u2013242","journal-title":"Lect Notes Comput Sci"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Martinie C, Palanque P, Winckler M (2011) Structuring and composition mechanisms to address scalability issues in task models. In: Proceedings of INTERACT, pp 589\u2013609","DOI":"10.1007\/978-3-642-23765-2_40"},{"issue":"3","key":"18_CR22","first-page":"224","volume":"5","author":"IC Morgado","year":"2010","unstructured":"Morgado IC, Paiva AC, Pascoal Faria J (2010) Dynamic reverse engineering of graphical user interfaces. Int J Adv Softw 5(3):224\u2013236","journal-title":"Int J Adv Softw"},{"issue":"8","key":"18_CR23","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/TSE.2002.1027801","volume":"28","author":"G Mori","year":"2002","unstructured":"Mori G, Patern\u00f2 F, Santoro C (2002) CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans Softw Eng 28(8):797\u2013813","journal-title":"IEEE Trans Softw Eng"},{"issue":"8","key":"18_CR24","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1109\/TSE.2004.40","volume":"30","author":"G Mori","year":"2004","unstructured":"Mori G, Patern\u00f2 F, Santoro C (2004) Design and development of multidevice user interfaces through multiple logical descriptions. IEEE Trans Softw Eng 30(8):507\u2013520","journal-title":"IEEE Trans Softw Eng"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Octavia JR, Vanacken L, Raymaekers C, Coninx K, Flerackers E (2010) Facilitating adaptation in virtual environments using a context-aware model-based design process. In: England D, Palanque P, Vanderdonckt J, Wild PJ (eds) Proceedings of TAMODIA 2009, pp 58\u201371","DOI":"10.1007\/978-3-642-11797-8_5"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Paganelli L, Patern\u00f2 F (2003a) Tools for remote usability evaluation of web applications through browser logs and task models. Behavior Research Methods, Instruments, and Computers. Psychon Soc Publ 35(3):369\u2013378","DOI":"10.3758\/BF03195513"},{"issue":"2","key":"18_CR27","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1142\/S0218194003001275","volume":"13","author":"L Paganelli","year":"2003","unstructured":"Paganelli L, Patern\u00f2 F (2003b) A tool for creating design models from web site code. Int J Softw Eng Knowl Eng World Sci Publ 13(2):169\u2013189","journal-title":"Int J Softw Eng Knowl Eng World Sci Publ"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 F (1999) Model-based design and evaluation of interactive applications. Springer","DOI":"10.1007\/978-1-4471-0445-2"},{"key":"18_CR29","unstructured":"Patern\u00f2 F, CSantoro C (2000) Integrating model checking and HCI tools to help designers verify user interfaces properties. In: Proceedings of DSV-IS\u20192000, pp 135\u2013150"},{"key":"18_CR30","first-page":"260","volume":"2008","author":"F Patern\u00f2","year":"2008","unstructured":"Patern\u00f2 F, Santoro C, Scorcia A (2008) Automatically adapting web sites for mobile access through logical descriptions and dynamic analysis of interaction resources. Proc AVI 2008:260\u2013267","journal-title":"Proc AVI"},{"key":"18_CR31","unstructured":"Patern\u00f2 F, Santoro C, Spano LDM (2009) A universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments. ACM Trans Comput Human Interact 16(4):19:1\u201319:30"},{"key":"18_CR32","doi-asserted-by":"crossref","first-page":"1806","DOI":"10.1016\/j.jss.2011.05.025","volume":"84","author":"F Patern\u00f2","year":"2011","unstructured":"Patern\u00f2 F, Santoro C, Spano LD (2011) Engineering the authoring of usable service front ends. J Syst Softw 84:1806\u20131822","journal-title":"J Syst Softw"},{"key":"18_CR35","unstructured":"Raneburger D, Meixner G, Brambilla M (2013) Platform-independence in model-driven development of graphical user interfaces for multiple devices. In: Proceedings of ICSOFT, pp 180\u2013195"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Silva CE, Campos JC (2013) Combining static and dynamic analysis for the reverse engineering of web applications. In: Proceedings of 5th ACM SIGCHI symposium on engineering interactive computing systems, p 107","DOI":"10.1145\/2494603.2480324"},{"key":"18_CR38","doi-asserted-by":"crossref","unstructured":"Sottet JS, Ganneau V, Calvary G, Demeure A, Favre JM, Demumieux R (2007) Model-driven adaptation for plastic user interfaces. In: Baranauskas C, Abascal J, Barbosa SDJ (eds) Proceedings of INTERACT 2007, pp 397\u2013410","DOI":"10.1007\/978-3-540-74796-3_38"},{"key":"18_CR01","doi-asserted-by":"crossref","unstructured":"Spano LD, Fenu G (2014) IceTT: a responsive visualization for task models, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, pp 197\u2013200, ACM","DOI":"10.1145\/2607023.2611452"}],"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_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T14:08:46Z","timestamp":1569074926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_18","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2017]]}}}