{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:56Z","timestamp":1747806776446},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204077"},{"type":"electronic","value":"9783540397335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39733-5_1","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T19:37:45Z","timestamp":1294515465000},"page":"1-20","source":"Crossref","is-referenced-by-count":59,"title":["Formal Reasoning Techniques for Goal Models"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Giorgini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleonora","family":"Nicchiarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Sebastiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Anton, A.I.: Goal based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering ICRE 1996, pp. 136\u2013144 (1996)","DOI":"10.1109\/ICRE.1996.491438"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Anton, A.I., Potts, C.: The use of goals to surface requirements for evolving systems. In: Proceedings of the International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, April 1998, pp. 157\u2013166 (1998)","DOI":"10.1109\/ICSE.1998.671112"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence\u00a090(1-2) (1997)","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"1_CR4","unstructured":"Boehm, B.: Identify quality-requirements conflicts. In: Proceedings of the 2nd International Conference on Requirements Engineering ICRE 1996, Colorado spring, Colorado (1996)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Bundy, A., Giunchiglia, F., Sebastiani, R., Walsh, T.: Calculating Criticalities. Artificial Intelligence\u00a088(1-2) (December 1996)","DOI":"10.1016\/S0004-3702(96)00019-7"},{"issue":"1-2","key":"1_CR6","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":"1_CR7","unstructured":"Jarvis, R., McArthur, G., Mylopoulos, J., Rodriguez-Gianolli, P., Zhou, S.: Semantic Models for Knowledge Management. In: Proc. of the Second International Conference on Web Information Systems Engineering, WISE 2001 (2001)"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1109\/3468.867861","volume":"30","author":"H. Kaindl","year":"2000","unstructured":"Kaindl, H.: A design process based on a model combining scenarios with goals and functions. IEEE Transactions on Systems, Man and Cybernetic\u00a030(5), 537\u2013551 (2000)","journal-title":"IEEE Transactions on Systems, Man and Cybernetic"},{"key":"1_CR9","volume-title":"Proceedings International Conference on Knowledge Representation and Reasoning","author":"H. Kautz","year":"1996","unstructured":"Kautz, H., McAllester, D., Selman, B.: Encoding Plans in Propositional Logic. In: Proceedings International Conference on Knowledge Representation and Reasoning. AAAI Press, Menlo Park (1996)"},{"issue":"18","key":"1_CR10","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/32.142871","volume":"6","author":"J. Mylopoulos","year":"1992","unstructured":"Mylopoulos, J., Chung, L., Nixon, B.: Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering\u00a06(18), 483\u2013497 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Newell, A., Simon, H.: GPS: A Program that Simulates Human Thought. In: Feigenbaum, E., Feldman, J. (eds.) Computers and Thought. McGraw Hill, New York","DOI":"10.1016\/B978-1-4832-1446-7.50040-6"},{"key":"1_CR12","volume-title":"Problem Solving Methods in Artificial Intelligence","author":"N. Nilsson","year":"1971","unstructured":"Nilsson, N.: Problem Solving Methods in Artificial Intelligence. McGraw-Hill, New York (1971)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Rolland, C., Grosz, Kla, R.: Experience with goal-scenario coupling. In: Proceedings of the Fourth IEEE International Symposium on Requirements Engineering, Limerik, Ireland (1999)","DOI":"10.1109\/ISRE.1999.777987"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Rolland, C., Souveyet, C., Ben Achour, C.: Guiding goal modelling using scenarios. IEEE Transactions on Software Engineering\u00a024(12) (December 1998)","DOI":"10.1109\/32.738339"},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"issue":"11","key":"1_CR16","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A.v. Lamsweerde","year":"1998","unstructured":"Lamsweerde, A.v., Darimont, R., Letier, E.: Managing conflicts in goaldriven requirements engineering. IEEE Transactions on Software Engineering\u00a024(11), 908\u2013926 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"1_CR17","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"Weld, D.S.: Recent Advances in AI Planning. AI Magazine\u00a020(2), 93\u2013123 (1999)","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39733-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T03:30:18Z","timestamp":1637119818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39733-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204077","9783540397335"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39733-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}