{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T02:40:02Z","timestamp":1743648002634,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310713"},{"type":"electronic","value":"9783642310720"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31072-0_25","type":"book-chapter","created":{"date-parts":[[2012,7,2]],"date-time":"2012-07-02T12:22:26Z","timestamp":1341231746000},"page":"362-377","source":"Crossref","is-referenced-by-count":6,"title":["Optimizing Monitoring Requirements in Self-adaptive Systems"],"prefix":"10.1007","author":[{"given":"Raian","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Griggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Franz\u00e9n","sequence":"additional","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":[{"key":"25_CR1","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-01862-6_27","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"R. Ali","year":"2009","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A Goal Modeling Framework for Self-contextualizable Software. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS 2009 and EMMSAD 2009. LNBIP, vol.\u00a029, pp. 326\u2013338. Springer, Heidelberg (2009)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s00766-010-0110-z","volume":"15","author":"R. Ali","year":"2010","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A Goal-based Framework for Contextual Requirements Modeling and Analysis. Requirements Engineering\u00a015, 439\u2013458 (2010)","journal-title":"Requirements Engineering"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Ali, R., Solis, C., Omoronyia, I., Salehie, M., Nuseibeh, B.: Social Adaptation: When Software Gives Users a Voice. In: Proceedings of ENASE 2012 (2012)","DOI":"10.1007\/978-3-642-45422-6_8"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Ali, R., Solis, C., Salehie, M., Omoronyia, I., Nuseibeh, B., Maalej, W.: Social Sensing: When Users Become Monitors. In: Proceedings of ESEC\/FSE 2011, pp. 476\u2013479 (2011)","DOI":"10.1145\/2025113.2025196"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, D., Feather, M.S., Narayanaswamy, K., Fickas, S.S.: Automatic Monitoring of Software Requirements. In: Proceedings of ICSE 1997, pp. 602\u2013603 (1997)","DOI":"10.1145\/253228.253493"},{"key":"25_CR7","unstructured":"Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Adaptive Socio-Technical Systems: a Requirements-driven Approach. In: Requirements Engineering (to appear, 2012)"},{"issue":"1-2","key":"25_CR8","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. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"25_CR10","volume-title":"Proceedings of the 9th International Workshop on Software Specification and Design (IWSSD 1998)","author":"M.S. Feather","year":"1998","unstructured":"Feather, M.S., Fickas, S.S., van Lamsweerde, A., Ponsard, C.: Reconciling System Requirements and Runtime Behavior. In: Proceedings of the 9th International Workshop on Software Specification and Design (IWSSD 1998). ACM, New York (1998)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Fickas, S.S., Feather, M.S.: Requirements Monitoring in Dynamic Environments. In: Proceedings of RE 1995, p. 140. IEEE Computer Society (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"25_CR12","unstructured":"Finkelstein, A., Savigni, A.: A Framework for Requirements Engineering for Context-Aware Services. In: Proceedings of STRAW 2001 (2001)"},{"key":"25_CR13","volume-title":"Introduction to Operations Research","author":"F.S. Hillier","year":"1990","unstructured":"Hillier, F.S., Lieberman, G.J.: Introduction to Operations Research, vol.\u00a06. McGraw-Hill, New York (1990)"},{"issue":"3","key":"25_CR14","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1504\/IJMC.2004.005161","volume":"2","author":"J. Krogstie","year":"2004","unstructured":"Krogstie, J., Lyytinen, K., Opdahl, A.L., 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"},{"key":"25_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems\u00a04, 14:1\u201314:42 (2009)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Salifu, M., Yu, Y., Nuseibeh, B.: Specifying Monitoring and Switching Problems in Context. In: Proceedings of RE 2007, pp. 211\u2013220 (2007)","DOI":"10.1109\/RE.2007.21"},{"issue":"1","key":"25_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10515-008-0042-8","volume":"16","author":"Y. Wang","year":"2009","unstructured":"Wang, Y., McIlraith, S., Yu, Y., Mylopoulos, J.: Monitoring and Diagnosing Software Requirements. Automated Software Engineering\u00a016(1), 3\u201335 (2009)","journal-title":"Automated Software Engineering"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31072-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T02:05:13Z","timestamp":1743645913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31072-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310713","9783642310720"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31072-0_25","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}