{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:51:48Z","timestamp":1725519108388},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878766"},{"type":"electronic","value":"9783540878773"}],"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-87877-3_14","type":"book-chapter","created":{"date-parts":[[2008,10,11]],"date-time":"2008-10-11T07:30:56Z","timestamp":1223710256000},"page":"169-182","source":"Crossref","is-referenced-by-count":10,"title":["Location-Based Software Modeling and Analysis: Tropos-Based Approach"],"prefix":"10.1007","author":[{"given":"Raian","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiano","family":"Dalpiaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1504\/IJMC.2004.005161","volume":"2","author":"J. Krogstie","year":"2004","unstructured":"Krogstie, J., Lyytinen, K., Opdahl, A., Pernici, B., Siau, K., Smolander, K.: Research areas and challenges for mobile information systems. International Journal of Mobile Communications\u00a02(3), 220\u2013234 (2004)","journal-title":"International Journal of Mobile Communications"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M. Weiser","year":"1991","unstructured":"Weiser, M.: The Computer for the Twenty-First Century. Scientific American\u00a0265(3), 94\u2013104 (1991)","journal-title":"Scientific American"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/978-3-540-69534-9_43","volume-title":"Advanced Information Systems Engineering","author":"R. Ali","year":"2008","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: Location-based variability for mobile information systems. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 575\u2013578. Springer, Heidelberg (2008)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Yau, S.S., Liu, J.: Hierarchical situation modeling and reasoning for pervasive computing. In: Proc. Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2006), pp. 5\u201310 (2006)","DOI":"10.1109\/SEUS-WCCIA.2006.25"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. In: Proc. Second IEEE Intl. Conference on Pervasive Computing and Communications (PerCom 2004), p. 77 (2004)","DOI":"10.1109\/PERCOM.2004.1276847"},{"key":"14_CR6","unstructured":"Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using owl. In: Proc. Second IEEE Annual Conference on Pervasive Computing and Communications Workshops, pp. 18\u201322 (2004)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Salifu, M., Yu, Y., Nuseibeh, B.: Specifying monitoring and switching problems in context. In: Proc. 15th Intl. Conference on Requirements Engineering (RE 2007), pp. 211\u2013220 (2007)","DOI":"10.1109\/RE.2007.21"},{"key":"14_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: Form: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng.\u00a05, 143\u2013168 (1998)","journal-title":"Ann. Softw. Eng."},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1188966.1188976","volume-title":"Proc. 2006 conference of the Center for Advanced Studies on Collaborative research (CASCON 2006)","author":"A. Lapouchnian","year":"2006","unstructured":"Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: Proc. 2006 conference of the Center for Advanced Studies on Collaborative research (CASCON 2006), p. 7. ACM, New York (2006)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Proc. 14th IEEE Intl. Requirements Engineering Conference (RE 2006), pp. 76\u201385 (2006)","DOI":"10.1109\/RE.2006.45"},{"issue":"1-2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program.\u00a020(1-2), 3\u201350 (1993)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR14","unstructured":"Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto (1995)"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J. Mylopoulos","year":"1999","unstructured":"Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM\u00a042(1), 31\u201337 (1999)","journal-title":"Commun. ACM"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-69848-7_24","volume-title":"Computational Science and Its Applications","author":"R. Ali","year":"2008","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: Modeling and analyzing variability for mobile information systems. In: Gervasi, O., Murgante, B., Lagan\u00e1, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2008, Part II. LNCS, vol.\u00a05073, pp. 291\u2013306. Springer, Heidelberg (2008)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/3-540-45816-6_22","volume-title":"Conceptual Modeling - ER 2002","author":"P. Giorgini","year":"2002","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol.\u00a02503, pp. 167\u2013181. Springer, Heidelberg (2002)"},{"key":"14_CR18","unstructured":"Liaskos, S., McIlraith, S., Mylopoulos, J.: Representing and reasoning with preference requirements using goals. Technical report, Dept. of Computer Science, University of Toronto (2006), \n                    \n                      ftp:\/\/ftp.cs.toronto.edu\/pub\/reports\/csrg\/542"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87877-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T12:38:07Z","timestamp":1551616687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87877-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878766","9783540878773"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87877-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}