{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:43:32Z","timestamp":1725795812211},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319078809"},{"type":"electronic","value":"9783319078816"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07881-6_42","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T19:14:33Z","timestamp":1401909273000},"page":"625-639","source":"Crossref","is-referenced-by-count":3,"title":["Task Specification and Reasoning in Dynamically Altered Contexts"],"prefix":"10.1007","author":[{"given":"George","family":"Chatzikonstantinou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Athanasopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Kontogiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","unstructured":"Yu, E.: Modelling strategic relationships for process reengineering. PhD thesis, University of Toronto Toronto (1996)"},{"issue":"10","key":"42_CR2","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Software Eng.\u00a026(10), 978\u20131005 (2000)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1-2","key":"42_CR3","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":"42_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1389-1286(03)00244-5","volume":"42","author":"D. Amyot","year":"2003","unstructured":"Amyot, D.: Introduction to the user requirements notation: Learning by example. Comput. Netw.\u00a042(3), 285\u2013301 (2003)","journal-title":"Comput. Netw."},{"issue":"8","key":"42_CR5","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/j.is.2012.05.006","volume":"37","author":"S. Liaskos","year":"2012","unstructured":"Liaskos, S., Khan, S.M., Litoiu, M., Jungblut, M.D., Rogozhkin, V., Mylopoulos, J.: Behavioral adaptation of information systems through goal models. Inf. Syst.\u00a037(8), 767\u2013783 (2012)","journal-title":"Inf. Syst."},{"key":"42_CR6","unstructured":"Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about agents and protocols via goals and commitments. In: AAMAS, pp. 457\u2013464 (2010)"},{"key":"42_CR7","unstructured":"Velev, M.N.: Efficient translation of boolean formulas to cnf in formal verification of microprocessors. In: Proceedings of the 2004 Asia and South Pacific Design Automation Conference, ASP-DAC 2004 (2004)"},{"key":"42_CR8","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)"},{"issue":"8","key":"42_CR9","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1002\/int.20433","volume":"25","author":"D. Amyot","year":"2010","unstructured":"Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.S.K.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst.\u00a025(8), 841\u2013877 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"Ans\u00f3tegui, C., Bonet, M.L., Levy, J.: A new algorithm for weighted partial maxsat. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7545"},{"issue":"5","key":"42_CR11","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"J.P.M. Silva","year":"1999","unstructured":"Silva, J.P.M., Sakallah, K.A.: Grasp: A search algorithm for propositional satisfiability. IEEE Trans. Computers\u00a048(5), 506\u2013521 (1999)","journal-title":"IEEE Trans. Computers"},{"key":"42_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/11427186_32","volume-title":"Experimental and Efficient Algorithms","author":"P. Festa","year":"2005","unstructured":"Festa, P., Pardalos, P.M., Pitsoulis, L.S., Resende, M.G.C.: GRASP with path-relinking for the weighted maximum satisfiability problem. In: Nikoletseas, S.E. (ed.) WEA 2005. LNCS, vol.\u00a03503, pp. 367\u2013379. Springer, Heidelberg (2005)"},{"key":"42_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-37422-7_16","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"N. Bencomo","year":"2013","unstructured":"Bencomo, N., Belaggoun, A.: Supporting decision-making for self-adaptive systems: From goal models to dynamic decision networks. In: Doerr, J., Opdahl, A.L. (eds.) REFSQ 2013. LNCS, vol.\u00a07830, pp. 221\u2013236. Springer, Heidelberg (2013)"},{"key":"42_CR14","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: A weighted voting mechanism for action selection problem in self-adaptive software. In: SASO, pp. 328\u2013331 (2007)","DOI":"10.1109\/SASO.2007.4"},{"key":"42_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-16373-9_9","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"N.A. Ernst","year":"2010","unstructured":"Ernst, N.A., Mylopoulos, J., Borgida, A., Jureta, I.J.: Reasoning with optional and preferred requirements. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol.\u00a06412, pp. 118\u2013131. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07881-6_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T19:44:49Z","timestamp":1689277489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07881-6_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319078809","9783319078816"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07881-6_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}