{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:25:32Z","timestamp":1742959532286,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":25,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461449508"},{"type":"electronic","value":"9781461449515"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-4951-5_40","type":"book-chapter","created":{"date-parts":[[2013,10,25]],"date-time":"2013-10-25T19:26:00Z","timestamp":1382729160000},"page":"499-511","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Incorporating Users into AmI System Design: From Requirements Toward Automation"],"prefix":"10.1007","author":[{"given":"Estefan\u00eda","family":"Serral","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Sabatucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Leonardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Valderas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Zancanaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vicente","family":"Pelechano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,12]]},"reference":[{"key":"40_CR00401","doi-asserted-by":"crossref","unstructured":"Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J (2004) Tropos: an agent-oriented software development methodology. In: Proceedngs of the AAMAS. IEEE Computer Society, Los Alamitos, pp\u00a0203\u2013236","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"40_CR00402","doi-asserted-by":"crossref","unstructured":"Casas R, Blasco\u00a0Mar\u00edn R, Robinet A, Delgado A, Yarza A, McGinn J, Picking R, Grout V (2008) User modelling in ambient intelligence for elderly and disabled people. In: Proceedngs of the computers helping people with special needs. Springer, Berlin\/New York, pp\u00a0114\u2013122","DOI":"10.1007\/978-3-540-70540-6_15"},{"key":"40_CR00403","unstructured":"Cockburn A (2001) Writing effective use cases, vol\u00a01. Addison-Wesley, Boston"},{"key":"40_CR00404","doi-asserted-by":"crossref","unstructured":"Cook DJ, Youngblood M, Heierman IEO, Gopalratnam K, Rao S, Litvin A, Khawaja F (2003) Mavhome: an agent-based smart home. In: Proceedings of the PerCom. IEEE Computer Society, Los Alamitos, pp\u00a0521\u2013524","DOI":"10.1109\/PERCOM.2003.1192783"},{"key":"40_CR00405","unstructured":"Cooper A, Reimann R, Cronin D (2007) About face 3: the essentials of interaction design. Wiley, Indianapolis"},{"issue":"1\u20132","key":"40_CR00406","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne A, Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20(1\u20132):3\u201350","journal-title":"Sci Comput Program"},{"key":"40_CR00407","doi-asserted-by":"crossref","unstructured":"Dey AK (2001) Understanding and using context. PUC","DOI":"10.1007\/s007790170019"},{"issue":"6","key":"40_CR00408","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MIS.2004.61","volume":"19","author":"H Hagras","year":"2004","unstructured":"Hagras H, Callaghan V, Colley M, Clarke G, Pounds-Cornish A, Duman H (2004) Creating an ambient-intelligence environment using embedded agents. IEEE Intel Syst 19(6):12\u201320","journal-title":"IEEE Intel Syst"},{"key":"40_CR00409","unstructured":"Johnson P (1999) Tasks and situations: considerations for models and design principles in human computer interaction. In: Proceedings of the HCI international. Lawrence Erlbaum, Mahwah\/London, pp\u00a01199\u20131204"},{"key":"40_CR004010","unstructured":"Kolos-Mazuryk L, Eck P, Wieringa R A survey of requirements engineering methods for pervasive services. In: Proceedings of the workshop on building software for pervasive computing, OOPSLA\u201905"},{"key":"40_CR004011","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MS.2003.1184169","volume":"20","author":"S Lauesen","year":"2003","unstructured":"Lauesen S (2003) Task description as functional requirements. IEEE Softw 20:58\u201365","journal-title":"IEEE Softw"},{"key":"40_CR004012","unstructured":"Leonardi C, Sabatucci L, Susi A, Zancanaro M (2010a) Ahab\u2019s leg: mediating semi-formal requirement to final users. In: Proceedings of the CAiSE\u201910, Hammamet"},{"key":"40_CR004013","unstructured":"Leonardi C, Sabatucci L, Susi A, Zancanaro M (2010b) Exploring the boundaries: when method fragmentation is not convenient. In: Proceedings of the IEEE FIPA workshop on design process documentation and fragmentation, Lyon"},{"key":"40_CR004014","doi-asserted-by":"crossref","unstructured":"Neal DT, Wood W (2007) Automaticity in situ: the nature of habit in daily life. In: Psychology of action: mechanisms of human action, vol\u00a02","DOI":"10.1093\/oso\/9780195309980.003.0021"},{"key":"40_CR004015","doi-asserted-by":"crossref","unstructured":"Nuseibeh B, Easterbrook S (2000) Requirements engineering: a roadmap. In: Proceedings of the conference on the future of software engineering. ACM, New York, pp\u00a035\u201346","DOI":"10.1145\/336512.336523"},{"key":"40_CR004016","unstructured":"Patern\u00f3 F (2002) ConcurTaskTrees: an engineered approach to model-based design of interactive systems. Lawrence Erlbaum Associates"},{"key":"40_CR004017","doi-asserted-by":"crossref","unstructured":"Rolland C, Salinesi C (2009) Supporting Requirements Elicitation through goal\/scenario coupling. In: Conceptual modeling: foundations and applications. Springer, Berlin, p\u00a0416","DOI":"10.1007\/978-3-642-02463-4_21"},{"key":"40_CR004018","unstructured":"Serral E, Valderas P, Pelechano V (2010a) Improving the cold-start problem in user task automation by using models at runtime. In: Proceedings of the ISD\u201910. Springer, pp\u00a0648\u2013659"},{"issue":"2","key":"40_CR004019","first-page":"254","volume":"6","author":"E Serral","year":"2010b","unstructured":"Serral E, Valderas P, Pelechano V (2010b) Towards the model driven development of context-aware pervasive systems. PMC 6(2):254\u2013280","journal-title":"PMC"},{"key":"40_CR004020","unstructured":"Sharp H, Rogers Y, Preece J (2007) Interaction design: beyond human computer interaction. Wiley, Chichester\/Hoboken"},{"key":"40_CR004021","doi-asserted-by":"crossref","unstructured":"Shepherd A (2001) Hierarchical task analysis. Taylor & Francis, London","DOI":"10.4324\/9780203305614"},{"key":"40_CR004022","doi-asserted-by":"crossref","first-page":"1072","DOI":"10.1109\/32.738340","volume":"24","author":"A Sutcliffe","year":"1998","unstructured":"Sutcliffe A, Maiden N, Minocha S, Manuel D (1998) Supporting scenario-based requirements engineering. IEEE Trans Softw Eng 24:1072\u20131088","journal-title":"IEEE Trans Softw Eng"},{"key":"40_CR004023","doi-asserted-by":"crossref","unstructured":"Uchitel S, Chatley R, Kramer J, Magee J (2004) System architecture: the context for scenario-based model synthesis. In: Proceedings of the 12th symposium on FSE. ACM, New York, pp\u00a033\u201342","DOI":"10.1145\/1029894.1029903"},{"key":"40_CR004024","doi-asserted-by":"crossref","unstructured":"Van\u00a0Lamsweerde A (2003) From system goals to software architecture. In: Bernardo M, Inverardi P (eds) Formal methods for software architectures. Springer, Berlin\/New York, pp\u00a025\u201343","DOI":"10.1007\/978-3-540-39800-4_2"},{"key":"40_CR004025","doi-asserted-by":"crossref","unstructured":"Weiser M (1995) The computer for the 21st century. Sci Am 78\u201389","DOI":"10.1016\/B978-0-08-051574-8.50097-2"}],"container-title":["Information Systems Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-4951-5_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T22:52:54Z","timestamp":1716072774000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-4951-5_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461449508","9781461449515"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-4951-5_40","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"12 April 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}