User menu

Clear Justification of Modelling Decision for Goal-Oriented Requirements Engineering

Bibliographic reference Jureta, Ivan ; Faulkner, Stéphane ; Schobbens, Pierre Yves. Clear Justification of Modelling Decision for Goal-Oriented Requirements Engineering. In: Requirements Engineering Journal, Vol. 13, no. 2, p. 87-115 (2008)
Permanent URL
  1. ATLAS.ti Scientific Software Development GmbH. ATLAS.ti—The Knowledge Workbench. Available online at
  2. Bach K (1998) Ambiguity. In: Craig E (ed) Routledge encyclopedia of philosophy online. Routledge, London
  3. Barker C (2006) Vagueness. In: Brown K (ed) Encyclopedia of language and linguistics, 2nd edn. Elsevier, Amsterdam
  4. Bennett B (1998) Modal semantics for knowledge dealing with Vague concepts. In: Proceedings of international conference on principles of knowledge representation and reasoning
  5. Berry D, Kamsties E (2005) The syntactically dangerous all and plural in specifications. IEEE Softw 22(1):55–57
  6. Besnard P, Hunter A (2001) A logic-based theory of deductive arguments. Artif Intell 128(1–2):203–235
  7. Bowen Jonathan P., Hinchey Michael G., High-Integrity System Specification and Design, ISBN:9783540762263, 10.1007/978-1-4471-3431-2
  8. Castro J, Kolp M, Mylopoulos J (2002) Towards requirements-driven information systems engineering: the Tropos project. Info Sys 27(6):365–389
  9. Cavalli-Sforza V, Suthers DD (1994) Belvedere: an environment for practicing scientific argumentation. Worksh Comput Dialectics
  10. 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
  11. Chesñevar CI, Maguitman AG, Loui RP (2000) Logical models of argument. ACM Comput Surv 32(4):337–383
  12. Chung Lawrence, Nixon Brian A., Yu Eric, Mylopoulos John, Non-Functional Requirements in Software Engineering, ISBN:9781461374039, 10.1007/978-1-4615-5269-7
  13. CMSI (1992) CM/1 Product description. Corporate Memory Systems, Inc., 8920 Business Park Dr., Austin, Texas
  14. Conklin J, Begeman ML (1988) gIBIS: a hypertext tool for exploratory policy discussion. ACM Trans Info Syst 6(4):303–331
  15. Conklin J, Selvin A, Buckingham Shum S, Sierhuis M (2001) Facilitated hypertext for collective sensemaking: 15 years on from gIBIS. In: Proceedings of ACM conference on hypertext and hypermedia
  16. Curtis B, Krasner H, Iscoe N (1988) A field study of the software design process for large systems. Commun ACM 31(11):1268–1287
  17. Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3–50
  18. Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of ACM SIGSOFT symposium foundations of software engineering
  19. Donzelli P (2004) A goal-driven and agent-based requirements engineering framework. Req Eng 9(1):16–39
  20. 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
  21. Fellbaum C (1998) WordNet: a lexical reference system and its application. MIT Press, Cambridge
  22. Ford M, Billington D (2000) Strategies in human nonmonotonic reasoning. Comput Intell 16(3):446–468
  23. 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–150
  24. Gillon BS (1990) Ambiguity, generality, and indeterminacy: tests and definitions. Synthese 85:391–416
  25. Graff Delia, , Shifting Sands : An Interest-Relative Theory of Vagueness, 10.5840/philtopics20002816
  26. Halpern JY (2004) Intransitivity and vagueness. In: Proceedings of international conference on princip of knowledge representation and reasoning
  27. 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)
  28. Hospers J (1953) An introduction to philosophical analysis. Prentice-Hall, Englewood Cliffs
  29. Kaci S, van der Torre L (2007) Preference-based argumentation: arguments supporting multiple values. Int J Approx Reason (in press)
  30. Kamsties E, Berry D, Peach B (2001) Detecting ambiguities in requirements documents using inspections. In: Proceedings workshop inspection in software engineering
  31. Karacapilidis N, Papadias D (2001) Computer supported argumentation and collaborative decision making: the HERMES system. Info Syst 26:259–277
  32. 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
  33. Kennedy C (2007) Vagueness and grammar: the semantics of relative and absolute gradable predicates. Linguist Philos (in press)
  34. Lee J (1991) Extending the Potts and Bruns model for recording design rationale. In: Proceedings of international conference on software engineering
  35. Lee J, Lai K-Y (1991) What’s in the design rationale? Hum Comput Interact 6(3–4):251–280
  36. Letier E (2001) Reasoning about agents in goal-oriented requirements engineering. PhD Thesis, Département d’ingénierie informatique, Université catholique de Louvain
  37. Letier E, van Lamsweerde A (2004) Reasoning about partial goal satisfaction for requirements and design engineering. ACM Sigsoft Softw Eng Notes 29(6):53–62
  38. Liu XF, Yen J (1996) An analytic framework for specifying and analyzing imprecise requirements. In: Proceedings of international conference on software engineering
  39. Liu L, Yu E (2004) Designing information systems in social context: a goal and scenario modeling approach. Info Syst 29:187–203
  40. Louridas P, Loucopoulos P (2000) A generic model for reflective design. ACM Trans Softw Eng Meth 9(2):199–237
  41. Maclean A, Young RM, Belotti VME, Moran TP (1991) Questions, options, and criteria: elements of design space analysis. Hum Comput Interact 6(3–4):201–250
  42. March JG (1978) Bounded rationality, ambiguity, and the engineering of choice. Bell J Econ 9(2):587–608
  43. Margalit A (1983) A Review of Scheffler (1979). J Philos 80:129–137
  44. Mylopoulos J, Chung L, Nixon B (1992) Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans Softw Eng 18(6):483–497
  45. Pohl K (1993) The three dimensions of requirements engineering. In: Proceedings of international conference of advanced infomation system engineering
  46. 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–318
  47. Ramesh B, Dhar V (1992) Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans Softw Eng 18(6):498–510
  48. Ravin Y, Leacock C (eds) (2000) Polysemy: theoretical and computational approaches. Oxford University Press, New York
  49. Richman RJ (1959) Ambiguity and Intuition. Mind, New Series 68 269:87–92
  50. Rittel HWJ, Webber MM (1973) Dilemmas in a general theory of planning. Policy Sci 4:155–169
  51. Searle JR (1969) Speech acts: an essay in the philosophy of language. Cambridge University Press, London
  52. Shum BS, Hammond N (1994) Argumentation-based design rationale: what use at what cost? Int J Hum Comput Stud 40(4):603–652
  53. Simari GR, Loui RP (1992) A mathematical treatment of defeasible reasoning and its implementation. Artif Intell 53:125–157
  54. 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–162
  55. Sorensen R (2003) Vagueness. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Stanford University, Stanford
  56. Toulmin S (1958) The uses of arguments. Cambridge University Press, London
  57. van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of interantional conference on requirement engineering
  58. van Lamsweerde A, Darimont R, Massonet Ph (1992) The Meeting Scheduler Problem: Preliminary Definition. Département d’ingénierie informatique, Université catholique de Louvain
  59. Williamson T (1994) Vagueness. Routledge, London
  60. 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
  61. Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of international symposium on requirement engineering
  62. Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Meth 6(1):1–30