{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:20:40Z","timestamp":1740720040528,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642163722"},{"type":"electronic","value":"9783642163739"}],"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_9","type":"book-chapter","created":{"date-parts":[[2010,10,27]],"date-time":"2010-10-27T07:38:03Z","timestamp":1288165083000},"page":"118-131","source":"Crossref","is-referenced-by-count":11,"title":["Reasoning with Optional and Preferred Requirements"],"prefix":"10.1007","author":[{"given":"Neil A.","family":"Ernst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Borgida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan J.","family":"Jureta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","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":"R. Sebastiani","year":"2004","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: 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)"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"3","author":"D. Ross","year":"1977","unstructured":"Ross, D.: Structured Analysis (SA): A Language for Communicating Ideas. Trans. Soft. Eng.\u00a03(1), 16\u201334 (1977)","journal-title":"Trans. Soft. Eng."},{"issue":"1-2","key":"9_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. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Intl. Conf. Requirements Engineering, Annapolis, Maryland, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Intl. Conf. Requirements Engineering, Toronto, pp. 249\u2013263 (2001)","DOI":"10.1109\/ISRE.2001.948567"},{"key":"9_CR6","unstructured":"Liaskos, S., Mcilraith, S.A., Mylopoulos, J.: Goal-based Preference Specification for Requirements Engineering. In: Intl. Conf. Requirements Engineering, Sydney (September 2010)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Jureta, I.J., Mylopoulos, J., Faulkner, S.: Revisiting the Core Ontology and Problem in Requirements Engineering. In: Intl. Conf. Requirements Engineering, Barcelona, pp. 71\u201380 (September 2008)","DOI":"10.1109\/RE.2008.13"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering: from craft to discipline. In: Intl. Conf. Foundations of Software Engineering, Atlanta, Georgia, pp. 238\u2013249 (November 2008)","DOI":"10.1145\/1453101.1453133"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-39733-5_1","volume":"2800","author":"P. Giorgini","year":"2003","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. Journal on Data Semantics\u00a02800, 1\u201320 (2003)","journal-title":"Journal on Data Semantics"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Glover, F.: Future paths for integer programming and links to artificial intelligence. Computers and Operations Research 13(5) (1986)","DOI":"10.1016\/0305-0548(86)90048-1"},{"key":"9_CR11","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., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems\u00a08, 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Intl. Conf. Foundations of Software Engineering, Newport Beach, CA, pp. 53\u201362 (2004)","DOI":"10.1145\/1029894.1029905"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-02463-4_20","volume-title":"Conceptual Modeling: Foundations and Applications","author":"A. Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Reasoning About Alternative Requirements Options. In: Borgida, A., Chaudhri, V.K., Giorgini, P., Yu, E.S.K. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol.\u00a05600, pp. 380\u2013397. Springer, Heidelberg (2009)"},{"key":"9_CR14","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. Trans. Soft. Eng.\u00a026, 978\u20131005 (2000)","journal-title":"Trans. Soft. Eng."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Karlsson, L., H\u00f6st, M., Regnell, B.: Evaluating the practical use of different measurement scales in requirements prioritisation. In: Intl. Conf. Empirical Software Engineering, Rio de Janeiro, Brasil, pp. 326\u2013335 (2006)","DOI":"10.1145\/1159733.1159782"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Herrmann, A., Daneva, M.: Requirements Prioritization Based on Benefit and Cost Prediction: An Agenda for Future Research. In: Intl. Conf. Requirements Engineering, Barcelona, pp. 125\u2013134 (September 2008)","DOI":"10.1109\/RE.2008.48"},{"key":"9_CR17","series-title":"Operations research\/Computer Science Interfaces","volume-title":"Reactive Search and Intelligent Optimization","author":"R. Battiti","year":"2008","unstructured":"Battiti, R., Brunato, M., Mascia, F.: Reactive Search and Intelligent Optimization. Operations research\/Computer Science Interfaces, vol.\u00a045. Springer, Heidelberg (2008)"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s00766-009-0075-y","volume":"14","author":"A. Finkelstein","year":"2009","unstructured":"Finkelstein, A., Harman, M., Mansouri, S., Ren, J., Zhang, Y.: A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. Requirements Engineering J.\u00a014(4), 231\u2013245 (2009)","journal-title":"Requirements Engineering J."},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s00766-002-0160-y","volume":"8","author":"M.S. Feather","year":"2003","unstructured":"Feather, M.S., Cornford, S.: Quantitative risk-based requirements reasoning. Requirements Engineering J.\u00a08, 248\u2013265 (2003)","journal-title":"Requirements Engineering J."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Jalali, O., Menzies, T., Feather, M.S.: Optimizing requirements decisions with KEYS. In: International Workshop on Predictor Models in Software Engineering, Leipzig, Germany, pp. 79\u201386 (2008)","DOI":"10.1145\/1370788.1370807"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Maiden, N., Robertson, S.: Integrating Creativity into Requirements Processes: Experiences with an Air Traffic Management System. In: Intl. Conf. Requirements Engineering, Paris, France (2005)","DOI":"10.1109\/RE.2005.34"},{"issue":"3","key":"9_CR22","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/52.2027","volume":"5","author":"H. Thimbleby","year":"1988","unstructured":"Thimbleby, H.: Delaying commitment. IEEE Software\u00a05(3), 78\u201386 (1988)","journal-title":"IEEE Software"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T08:47:54Z","timestamp":1740646074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16373-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163722","9783642163739"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16373-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}