{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T08:51:29Z","timestamp":1791363089165,"version":"4.3.1"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T00:00:00Z","timestamp":1191888000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s00766-007-0056-y","type":"journal-article","created":{"date-parts":[[2007,10,8]],"date-time":"2007-10-08T07:26:19Z","timestamp":1191828379000},"page":"87-115","source":"Crossref","is-referenced-by-count":44,"title":["Clear justification of modeling decisions for goal-oriented requirements engineering"],"prefix":"10.1007","volume":"13","author":[{"given":"Ivan J.","family":"Jureta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Faulkner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,10,9]]},"reference":[{"key":"56_CR1","unstructured":"ATLAS.ti Scientific Software Development GmbH. ATLAS.ti\u2014The Knowledge Workbench. Available online at http:\/\/www.atlasti.com"},{"key":"56_CR2","volume-title":"Routledge encyclopedia of philosophy online","author":"K Bach","year":"1998)","unstructured":"Bach K (1998) Ambiguity. In: Craig E (ed) Routledge encyclopedia of philosophy online. Routledge, London"},{"key":"56_CR3","volume-title":"Encyclopedia of language and linguistics","author":"C Barker","year":"2006","unstructured":"Barker C (2006) Vagueness. In: Brown K (ed) Encyclopedia of language and linguistics, 2nd edn. Elsevier, Amsterdam","edition":"2nd edn"},{"key":"56_CR4","unstructured":"Bennett B (1998) Modal semantics for knowledge dealing with Vague concepts. In: Proceedings of international conference on principles of knowledge representation and reasoning"},{"issue":"1","key":"56_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/MS.2005.22","volume":"22","author":"D Berry","year":"2005","unstructured":"Berry D, Kamsties E (2005) The syntactically dangerous all and plural in specifications. IEEE Softw 22(1):55\u201357","journal-title":"IEEE Softw"},{"issue":"1\u20132","key":"56_CR6","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","author":"P Besnard","year":"2001","unstructured":"Besnard P, Hunter A (2001) A logic-based theory of deductive arguments. Artif Intell 128(1\u20132):203\u2013235","journal-title":"Artif Intell"},{"key":"56_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3431-2","volume-title":"High-integrity system specification and design","author":"JP Bowen","year":"1999","unstructured":"Bowen JP, Hinchey MG (1999) High-integrity system specification and design. Springer FACIT Series, London"},{"issue":"6","key":"56_CR8","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0306-4379(02)00012-1","volume":"27","author":"J Castro","year":"2002","unstructured":"Castro J, Kolp M, Mylopoulos J (2002) Towards requirements-driven information systems engineering: the Tropos project. Info Sys 27(6):365\u2013389","journal-title":"Info Sys"},{"key":"56_CR9","unstructured":"Cavalli-Sforza V, Suthers DD (1994) Belvedere: an environment for practicing scientific argumentation. Worksh Comput Dialectics"},{"key":"56_CR10","doi-asserted-by":"crossref","unstructured":"Chantree F, Nuseibeh B, de Roeck A, Willis A (2006) Identifying nocuous ambiguities in natural language requirements. In: Proceedings of international conference on requirement engineering","DOI":"10.1109\/RE.2006.31"},{"issue":"4","key":"56_CR11","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/371578.371581","volume":"32","author":"CI Ches\u00f1evar","year":"2000","unstructured":"Ches\u00f1evar CI, Maguitman AG, Loui RP (2000) Logical models of argument. ACM Comput Surv 32(4):337\u2013383","journal-title":"ACM Comput Surv"},{"key":"56_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-functional requirements in software engineering","author":"L Chung","year":"2000","unstructured":"Chung L, Nixon BA, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer, Dordrecht"},{"key":"56_CR13","unstructured":"CMSI (1992) CM\/1 Product description. Corporate Memory Systems, Inc., 8920 Business Park Dr., Austin, Texas"},{"issue":"4","key":"56_CR14","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/58566.59297","volume":"6","author":"J Conklin","year":"1988","unstructured":"Conklin J, Begeman ML (1988) gIBIS: a hypertext tool for exploratory policy discussion. ACM Trans Info Syst 6(4):303\u2013331","journal-title":"ACM Trans Info Syst"},{"key":"56_CR15","doi-asserted-by":"crossref","unstructured":"Conklin J, Selvin A, Buckingham Shum S, Sierhuis M (2001) Facilitated hypertext for collective sensemaking: 15\u00a0years on from gIBIS. In: Proceedings of ACM conference on hypertext and hypermedia","DOI":"10.1145\/504216.504246"},{"issue":"11","key":"56_CR16","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1145\/50087.50089","volume":"31","author":"B Curtis","year":"1988","unstructured":"Curtis B, Krasner H, Iscoe N (1988) A field study of the software design process for large systems. Commun ACM 31(11):1268\u20131287","journal-title":"Commun ACM"},{"key":"56_CR17","doi-asserted-by":"crossref","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 (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3\u201350","journal-title":"Sci Comput Program"},{"key":"56_CR18","doi-asserted-by":"crossref","unstructured":"Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of ACM SIGSOFT symposium foundations of software engineering","DOI":"10.1145\/239098.239131"},{"issue":"1","key":"56_CR19","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/s00766-003-0170-4","volume":"9","author":"P Donzelli","year":"2004","unstructured":"Donzelli P (2004) A goal-driven and agent-based requirements engineering framework. Req Eng 9(1):16\u201339","journal-title":"Req Eng"},{"key":"56_CR20","unstructured":"Eurocontrol (1999) ATM user requirements document volume 1 and Volume 2. European Air Traffic Control Harmonisation and Integration Programme, Ref FCO.ET1.ST04.DEL01, European Organisation for the Safety of Air Navigation"},{"key":"56_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","volume-title":"WordNet: a lexical reference system and its application","author":"C Fellbaum","year":"1998","unstructured":"Fellbaum C (1998) WordNet: a lexical reference system and its application. MIT Press, Cambridge"},{"issue":"3","key":"56_CR22","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1111\/0824-7935.00119","volume":"16","author":"M Ford","year":"2000","unstructured":"Ford M, Billington D (2000) Strategies in human nonmonotonic reasoning. Comput Intell 16(3):446\u2013468","journal-title":"Comput Intell"},{"issue":"2","key":"56_CR23","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A Fuxman","year":"2004","unstructured":"Fuxman A, Liu L, Mylopoulos J, Pistore M, Roveri M, Traverso P (2004) Specifying and analyzing early requirements in Tropos. Req Eng 9(2):132\u2013150","journal-title":"Req Eng"},{"key":"56_CR24","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00484835","volume":"85","author":"BS Gillon","year":"1990","unstructured":"Gillon BS (1990) Ambiguity, generality, and indeterminacy: tests and definitions. Synthese 85:391\u2013416","journal-title":"Synthese"},{"key":"56_CR25","doi-asserted-by":"crossref","first-page":"45","DOI":"10.5840\/philtopics20002816","volume":"20","author":"D Graff","year":"2000","unstructured":"Graff D (2000) Shifting sands: an interest-relative theory of vagueness. Philos Top 20:45\u201381","journal-title":"Philos Top"},{"key":"56_CR26","unstructured":"Halpern JY (2004) Intransitivity and vagueness. In: Proceedings of international conference on princip of knowledge representation and reasoning"},{"key":"56_CR27","doi-asserted-by":"crossref","unstructured":"Hitchcock D (2007) The concept of argument, and informal logic. In: Gabbay D, Thagard P, Woods J (eds) Philosophy of logic, handbook of the philosophy of science 5. Elsevier, Dordrecht (in press)","DOI":"10.1016\/B978-044451541-4\/50007-5"},{"key":"56_CR28","volume-title":"An introduction to philosophical analysis","author":"J Hospers","year":"1953","unstructured":"Hospers J (1953) An introduction to philosophical analysis. Prentice-Hall, Englewood Cliffs"},{"key":"56_CR29","doi-asserted-by":"crossref","unstructured":"Kaci S, van der Torre L (2007) Preference-based argumentation: arguments supporting multiple values. Int J Approx Reason (in press)","DOI":"10.1016\/j.ijar.2007.07.005"},{"key":"56_CR30","unstructured":"Kamsties E, Berry D, Peach B (2001) Detecting ambiguities in requirements documents using inspections. In: Proceedings workshop inspection in software engineering"},{"key":"56_CR31","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0306-4379(01)00020-5","volume":"26","author":"N Karacapilidis","year":"2001","unstructured":"Karacapilidis N, Papadias D (2001) Computer supported argumentation and collaborative decision making: the HERMES system. Info Syst 26:259\u2013277","journal-title":"Info Syst"},{"key":"56_CR32","doi-asserted-by":"crossref","unstructured":"Kavakli P, Loucopoulos P (2005) Goal modeling in requirements engineering: analysis and critique of current methods. In: Krogstie J, Halpin T, Siau K (eds) Information modeling methods and methodologies (Advanced Topics of Database Research). IDEA Group","DOI":"10.4018\/978-1-59140-375-3.ch006"},{"key":"56_CR33","doi-asserted-by":"crossref","unstructured":"Kennedy C (2007) Vagueness and grammar: the semantics of relative and absolute gradable predicates. Linguist Philos (in press)","DOI":"10.1007\/s10988-006-9008-0"},{"key":"56_CR34","unstructured":"Lee J (1991) Extending the Potts and Bruns model for recording design rationale. In: Proceedings of international conference on software engineering"},{"issue":"3\u20134","key":"56_CR35","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1207\/s15327051hci0603&4_3","volume":"6","author":"J Lee","year":"1991","unstructured":"Lee J, Lai K-Y (1991) What\u2019s in the design rationale? Hum Comput Interact 6(3\u20134):251\u2013280","journal-title":"Hum Comput Interact"},{"key":"56_CR36","unstructured":"Letier E (2001) Reasoning about agents in goal-oriented requirements engineering. PhD Thesis, D\u00e9partement d\u2019ing\u00e9nierie informatique, Universit\u00e9 catholique de Louvain"},{"issue":"6","key":"56_CR37","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E Letier","year":"2004","unstructured":"Letier E, van Lamsweerde A (2004) Reasoning about partial goal satisfaction for requirements and design engineering. ACM Sigsoft Softw Eng Notes 29(6):53\u201362","journal-title":"ACM Sigsoft Softw Eng Notes"},{"key":"56_CR38","doi-asserted-by":"crossref","unstructured":"Liu XF, Yen J (1996) An analytic framework for specifying and analyzing imprecise requirements. In: Proceedings of international conference on software engineering","DOI":"10.1109\/ICSE.1996.493402"},{"key":"56_CR39","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0306-4379(03)00052-8","volume":"29","author":"L Liu","year":"2004","unstructured":"Liu L, Yu E (2004) Designing information systems in social context: a goal and scenario modeling approach. Info Syst 29:187\u2013203","journal-title":"Info Syst"},{"issue":"2","key":"56_CR40","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/350887.350895","volume":"9","author":"P Louridas","year":"2000","unstructured":"Louridas P, Loucopoulos P (2000) A generic model for reflective design. ACM Trans Softw Eng Meth 9(2):199\u2013237","journal-title":"ACM Trans Softw Eng Meth"},{"issue":"3\u20134","key":"56_CR41","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1207\/s15327051hci0603&4_2","volume":"6","author":"A Maclean","year":"1991","unstructured":"Maclean A, Young RM, Belotti VME, Moran TP (1991) Questions, options, and criteria: elements of design space analysis. Hum Comput Interact 6(3\u20134):201\u2013250","journal-title":"Hum Comput Interact"},{"issue":"2","key":"56_CR42","doi-asserted-by":"crossref","first-page":"587","DOI":"10.2307\/3003600","volume":"9","author":"JG March","year":"1978","unstructured":"March JG (1978) Bounded rationality, ambiguity, and the engineering of choice. Bell J Econ 9(2):587\u2013608","journal-title":"Bell J Econ"},{"key":"56_CR43","first-page":"129","volume":"80","author":"A Margalit","year":"1983","unstructured":"Margalit A (1983) A Review of Scheffler (1979). J Philos 80:129\u2013137","journal-title":"J Philos"},{"issue":"6","key":"56_CR44","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J Mylopoulos","year":"1992","unstructured":"Mylopoulos J, Chung L, Nixon B (1992) Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans Softw Eng 18(6):483\u2013497","journal-title":"IEEE Trans Softw Eng"},{"key":"56_CR45","unstructured":"Pohl K (1993) The three dimensions of requirements engineering. In: Proceedings of international conference of advanced infomation system engineering"},{"key":"56_CR46","unstructured":"Prakken H, Vreeswijk G (2002) Logical systems for defeasible argumentation. In: Gabbay D, Guenther F (eds) Handbook of philosophical logic, 2nd edn. Kluwer, Dordrecht, pp 219\u2013318"},{"issue":"6","key":"56_CR47","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.142872","volume":"18","author":"B Ramesh","year":"1992","unstructured":"Ramesh B, Dhar V (1992) Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans Softw Eng 18(6):498\u2013510","journal-title":"IEEE Trans Softw Eng"},{"key":"56_CR48","doi-asserted-by":"crossref","unstructured":"Ravin Y, Leacock C (eds) (2000) Polysemy: theoretical and computational approaches. Oxford University Press, New York","DOI":"10.1093\/oso\/9780198238423.001.0001"},{"issue":"269","key":"56_CR49","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1093\/mind\/LXVIII.269.87","volume":"68","author":"RJ Richman","year":"1959","unstructured":"Richman RJ (1959) Ambiguity and Intuition. Mind, New Series 68 269:87\u201392","journal-title":"Mind"},{"key":"56_CR50","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01405730","volume":"4","author":"HWJ Rittel","year":"1973","unstructured":"Rittel HWJ, Webber MM (1973) Dilemmas in a general theory of planning. Policy Sci 4:155\u2013169","journal-title":"Policy Sci"},{"key":"56_CR51","doi-asserted-by":"crossref","unstructured":"Searle JR (1969) Speech acts: an essay in the philosophy of language. Cambridge University Press, London","DOI":"10.1017\/CBO9781139173438"},{"issue":"4","key":"56_CR52","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1006\/ijhc.1994.1029","volume":"40","author":"BS Shum","year":"1994","unstructured":"Shum BS, Hammond N (1994) Argumentation-based design rationale: what use at what cost? Int J Hum Comput Stud 40(4):603\u2013652","journal-title":"Int J Hum Comput Stud"},{"key":"56_CR53","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari GR, Loui RP (1992) A mathematical treatment of defeasible reasoning and its implementation. Artif Intell 53:125\u2013157","journal-title":"Artif Intell"},{"key":"56_CR54","first-page":"109","volume-title":"Cognitive science and its applications for human computer interaction.","author":"P Smolensky","year":"1987","unstructured":"Smolensky P, Fox B, King R, Lewis C (1987) Computer-aided reasoned discourse, or how to argue with a computer. In: Guindon R (ed) Cognitive science and its applications for human computer interaction. Erlbaum, Hillsdale, pp 109\u2013162"},{"key":"56_CR55","unstructured":"Sorensen R (2003) Vagueness. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Stanford University, Stanford"},{"key":"56_CR56","unstructured":"Toulmin S (1958) The uses of arguments. Cambridge University Press, London"},{"key":"56_CR57","unstructured":"van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of interantional conference on requirement engineering"},{"key":"56_CR58","unstructured":"van Lamsweerde A, Darimont R, Massonet Ph (1992) The Meeting Scheduler Problem: Preliminary Definition. D\u00e9partement d\u2019ing\u00e9nierie informatique, Universit\u00e9 catholique de Louvain"},{"key":"56_CR59","unstructured":"Williamson T (1994) Vagueness. Routledge, London"},{"key":"56_CR60","unstructured":"Yu E (1994) Modelling strategic relationships for process reengineering. PhD Thesis, (also Tech. Report DKBS-TR-94-6) Dept. of Computer Science, University of Toronto"},{"key":"56_CR61","doi-asserted-by":"crossref","unstructured":"Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of international symposium on requirement engineering","DOI":"10.1109\/ISRE.1997.566873"},{"issue":"1","key":"56_CR62","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Meth 6(1):1\u201330","journal-title":"ACM Trans Softw Eng Meth"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-007-0056-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-007-0056-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-007-0056-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T10:56:40Z","timestamp":1708253800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-007-0056-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,9]]},"references-count":62,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["56"],"URL":"https:\/\/doi.org\/10.1007\/s00766-007-0056-y","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,9]]}}}