{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T10:54:54Z","timestamp":1777632894981,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642163722","type":"print"},{"value":"9783642163739","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16373-9_5","type":"book-chapter","created":{"date-parts":[[2010,10,27]],"date-time":"2010-10-27T07:38:03Z","timestamp":1288165083000},"page":"59-75","source":"Crossref","is-referenced-by-count":35,"title":["Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach"],"prefix":"10.1007","author":[{"given":"Jennifer","family":"Horkoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/225014.225017","volume-title":"ICSE 1995: Proceedings of the 17th International Conference on Software Engineering","author":"L. Chung","year":"1995","unstructured":"Chung, L., Nixon, B.A.: Dealing with non-functional requirements: three experimental studies of a process-oriented approach. In: ICSE 1995: Proceedings of the 17th International Conference on Software Engineering, pp. 25\u201337. ACM, New York (1995)"},{"key":"5_CR2","first-page":"226","volume-title":"RE 1997: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering","author":"E.S.K. Yu","year":"1997","unstructured":"Yu, E.S.K.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: RE 1997: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, Washington, DC, USA, p. 226. IEEE Computer Society, Los Alamitos (1997)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-05352-8_12","volume-title":"The Practice of Enterprise Modeling","author":"J. Horkoff","year":"2009","unstructured":"Horkoff, J., Yu, E.: Evaluating Goal Achievement in Enterprise Modeling An Interactive Procedure and Experiences. In: The Practice of Enterprise Modeling, pp. 145\u2013160. Springer, Heidelberg (2009)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-25975-6_4","volume-title":"Advanced Information Systems Engineering","author":"P. Giorgini","year":"2004","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 20\u201335. Springer, Heidelberg (2004)"},{"key":"5_CR5","unstructured":"Horkoff, J., Yu, E.: A Framework for Iterative, Interactive Analysis of Agent-Goal Models in Early Requirements Engineering. In: 4th International i* Workshop (submitted, 2010)"},{"key":"5_CR6","unstructured":"Horkoff, J., Yu, E.: A Qualitative, Interactive Evaluation Procedure for Goal- and Agent-Oriented Models. In: CAiSE 2009 Forum. CEUR-WS.org, vol.\u00a0453, pp. 19\u201324 (2009)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Yu, E.: Interactive Analysis of Agent-Goal Models in Enterprise Modeling. International Journal of Information System Modeling and Design (IJISMD) (in press)","DOI":"10.4018\/jismd.2010100101"},{"key":"5_CR8","unstructured":"OpenOME (2010), \n                    \n                      https:\/\/se.cs.toronto.edu\/trac\/ome\/wiki"},{"key":"5_CR9","unstructured":"i* Wiki (2010), \n                    \n                      http:\/\/istar.rwth-aachen.de\/"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/11527695_27","volume-title":"Theory and Applications of Satisfiability Testing","author":"Y.S. Mahajan","year":"2005","unstructured":"Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: An Efficient SAT solver. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 360\u2013375. Springer, Heidelberg (2005)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, J., Li, S., Shen, S.: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. In: Australian Conference on Artificial Intelligence, pp. 847\u2013856 (2006)","DOI":"10.1007\/11941439_89"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/S1571-0653(04)00320-8","volume":"9","author":"R. Bruni","year":"2001","unstructured":"Bruni, R., Sassano, A.: Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae. Electronic Notes in Discrete Mathematics\u00a09, 162\u2013173 (2001)","journal-title":"Electronic Notes in Discrete Mathematics"},{"key":"5_CR13","unstructured":"Horkoff, J., Yu, E.: Qualitative, Interactive, Backward Analysis of i* Models. In: 3rd International i* Workshop, CEUR-WS.org, pp. 4\u201346 (2008)"},{"key":"5_CR14","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":"6","key":"5_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E. Letier","year":"2004","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT Softw. Eng. Notes\u00a029(6), 53\u201362 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2013 ER 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16373-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T22:10:43Z","timestamp":1553206243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16373-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163722","9783642163739"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16373-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}