{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:20:57Z","timestamp":1725603657958},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237676"},{"type":"electronic","value":"9783642237683"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23768-3_70","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T09:56:53Z","timestamp":1314784613000},"page":"511-514","source":"Crossref","is-referenced-by-count":0,"title":["Elaborating Analysis Models with Tool Support"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Buchholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"70_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-13595-8_8","volume-title":"Modelling Foundations and Applications","author":"P. Colombo","year":"2010","unstructured":"Colombo, P., Khendek, F., Lavazza, L.: Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 74\u201389. Springer, Heidelberg (2010)"},{"key":"70_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B. Dongen van","year":"2005","unstructured":"van Dongen, B., Alves de Medeiros, H.M.W., Verbeek, A.J.M.M., van der Aalst Weijters, W.M.P.: The ProM framework: A New Era in Process Mining Tool Support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"70_CR3","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P., Nkambou, R., Nguifo, E.M.: A Knowledge Discovery Framework for Learning Task Models from User Interactions in Intelligent Tutoring Systems. In: Gelbukh, A., Reyes-Garcia, C.A. (eds.) MICAI 2006. LNCS (LNAI), vol.\u00a04293, pp. 765\u2013778. Springer, Heidelberg (2006)","DOI":"10.1007\/978-3-540-88636-5_72"},{"key":"70_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1007\/11948148_60","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"S.K. Johnson","year":"2006","unstructured":"Johnson, S.K., Brown, A.W.: A Model-Driven Development Approach to Creating Service-Oriented Solutions. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 624\u2013636. Springer, Heidelberg (2006)"},{"key":"70_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/238218.238331","volume-title":"Proc. IUI 1997","author":"D. Maulsby","year":"1997","unstructured":"Maulsby, D.: Inductive Task Modeling for User Interface Customization. In: Proc. IUI 1997, pp. 233\u2013236. ACM, New York (1997)"},{"key":"70_CR6","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-76292-8_31","volume-title":"Advances in Conceptual Modeling & Foundations and Applications","author":"J.-N. Maz\u00f3n","year":"2007","unstructured":"Maz\u00f3n, J.-N., Trujillo, J.: A Model-Driven Goal-Oriented Requirement Engineering Approach for Data Warehouses. In: Advances in Conceptual Modeling & Foundations and Applications, pp. 255\u2013264. Springer, Berlin (2007)"},{"key":"70_CR7","first-page":"467","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","author":"C. Paris","year":"2004","unstructured":"Paris, C., Lu, S., Linden, K.V.: Environments for the Construction and Use of Task Models. In: The Handbook of Task Analysis for Human-Computer Interaction, pp. 467\u2013482. Lawrence Erlbaum Associates, Mahwah (2004)"},{"key":"70_CR8","volume-title":"Model-Based Design and Evaluation of Interactive Applications","author":"F. Patern\u00f2","year":"1999","unstructured":"Patern\u00f2, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, Heidelberg (1999)"},{"key":"70_CR9","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1145\/568760.568837","volume-title":"Proc. SEKE 2002","author":"M. El-Ramly","year":"2002","unstructured":"El-Ramly, M., Stroulia, E., Sorenson, P.: Recovering Software Requirements from System-user Interaction Traces. In: Proc. SEKE 2002, pp. 447\u2013454. ACM Press, New York (2002)"},{"key":"70_CR10","first-page":"91","volume-title":"Requirements Engineering","author":"N. Seyff","year":"2009","unstructured":"Seyff, N.: Exploring how to use scenarios to discover requirements. In: Requirements Engineering, pp. 91\u2013111. Springer, London (2009)"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction \u2013 INTERACT 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23768-3_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:14:01Z","timestamp":1606187641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23768-3_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237676","9783642237683"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23768-3_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}