Clear justification of modeling decisions for goal-oriented requirements engineering (original) (raw)
ATLAS.ti Scientific Software Development GmbH. ATLAS.ti—The Knowledge Workbench. Available online at http://www.atlasti.com
Bach K (1998) Ambiguity. In: Craig E (ed) Routledge encyclopedia of philosophy online. Routledge, London Google Scholar
Barker C (2006) Vagueness. In: Brown K (ed) Encyclopedia of language and linguistics, 2nd edn. Elsevier, Amsterdam Google Scholar
Bennett B (1998) Modal semantics for knowledge dealing with Vague concepts. In: Proceedings of international conference on principles of knowledge representation and reasoning
Berry D, Kamsties E (2005) The syntactically dangerous all and plural in specifications. IEEE Softw 22(1):55–57 Article Google Scholar
Bowen JP, Hinchey MG (1999) High-integrity system specification and design. Springer FACIT Series, London Google Scholar
Castro J, Kolp M, Mylopoulos J (2002) Towards requirements-driven information systems engineering: the Tropos project. Info Sys 27(6):365–389 ArticleMATH Google Scholar
Cavalli-Sforza V, Suthers DD (1994) Belvedere: an environment for practicing scientific argumentation. Worksh Comput Dialectics
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
Chesñevar CI, Maguitman AG, Loui RP (2000) Logical models of argument. ACM Comput Surv 32(4):337–383 Article Google Scholar
Chung L, Nixon BA, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer, Dordrecht MATH Google Scholar
CMSI (1992) CM/1 Product description. Corporate Memory Systems, Inc., 8920 Business Park Dr., Austin, Texas
Conklin J, Begeman ML (1988) gIBIS: a hypertext tool for exploratory policy discussion. ACM Trans Info Syst 6(4):303–331 Article Google Scholar
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
Curtis B, Krasner H, Iscoe N (1988) A field study of the software design process for large systems. Commun ACM 31(11):1268–1287 Article Google Scholar
Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3–50 ArticleMATH Google Scholar
Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of ACM SIGSOFT symposium foundations of software engineering
Donzelli P (2004) A goal-driven and agent-based requirements engineering framework. Req Eng 9(1):16–39 Article Google Scholar
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
Fellbaum C (1998) WordNet: a lexical reference system and its application. MIT Press, Cambridge Google Scholar
Ford M, Billington D (2000) Strategies in human nonmonotonic reasoning. Comput Intell 16(3):446–468 Article Google Scholar
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 Article Google Scholar
Gillon BS (1990) Ambiguity, generality, and indeterminacy: tests and definitions. Synthese 85:391–416 ArticleMathSciNet Google Scholar
Graff D (2000) Shifting sands: an interest-relative theory of vagueness. Philos Top 20:45–81 Google Scholar
Halpern JY (2004) Intransitivity and vagueness. In: Proceedings of international conference on princip of knowledge representation and reasoning
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)
Hospers J (1953) An introduction to philosophical analysis. Prentice-Hall, Englewood Cliffs Google Scholar
Kaci S, van der Torre L (2007) Preference-based argumentation: arguments supporting multiple values. Int J Approx Reason (in press)
Kamsties E, Berry D, Peach B (2001) Detecting ambiguities in requirements documents using inspections. In: Proceedings workshop inspection in software engineering
Karacapilidis N, Papadias D (2001) Computer supported argumentation and collaborative decision making: the HERMES system. Info Syst 26:259–277 ArticleMATH Google Scholar
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
Kennedy C (2007) Vagueness and grammar: the semantics of relative and absolute gradable predicates. Linguist Philos (in press)
Lee J (1991) Extending the Potts and Bruns model for recording design rationale. In: Proceedings of international conference on software engineering
Lee J, Lai K-Y (1991) What’s in the design rationale? Hum Comput Interact 6(3–4):251–280 Article Google Scholar
Letier E (2001) Reasoning about agents in goal-oriented requirements engineering. PhD Thesis, Département d’ingénierie informatique, Université catholique de Louvain
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 Article Google Scholar
Liu XF, Yen J (1996) An analytic framework for specifying and analyzing imprecise requirements. In: Proceedings of international conference on software engineering
Liu L, Yu E (2004) Designing information systems in social context: a goal and scenario modeling approach. Info Syst 29:187–203 Article Google Scholar
Louridas P, Loucopoulos P (2000) A generic model for reflective design. ACM Trans Softw Eng Meth 9(2):199–237 Article Google Scholar
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 Article Google Scholar
March JG (1978) Bounded rationality, ambiguity, and the engineering of choice. Bell J Econ 9(2):587–608 Article Google Scholar
Margalit A (1983) A Review of Scheffler (1979). J Philos 80:129–137 Article Google Scholar
Mylopoulos J, Chung L, Nixon B (1992) Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans Softw Eng 18(6):483–497 Article Google Scholar
Pohl K (1993) The three dimensions of requirements engineering. In: Proceedings of international conference of advanced infomation system engineering
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
Ramesh B, Dhar V (1992) Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans Softw Eng 18(6):498–510 Article Google Scholar
Ravin Y, Leacock C (eds) (2000) Polysemy: theoretical and computational approaches. Oxford University Press, New York
Richman RJ (1959) Ambiguity and Intuition. Mind, New Series 68 269:87–92 Article Google Scholar
Rittel HWJ, Webber MM (1973) Dilemmas in a general theory of planning. Policy Sci 4:155–169 Article Google Scholar
Searle JR (1969) Speech acts: an essay in the philosophy of language. Cambridge University Press, London
Shum BS, Hammond N (1994) Argumentation-based design rationale: what use at what cost? Int J Hum Comput Stud 40(4):603–652 Article Google Scholar
Simari GR, Loui RP (1992) A mathematical treatment of defeasible reasoning and its implementation. Artif Intell 53:125–157 ArticleMathSciNet Google Scholar
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 Google Scholar
Sorensen R (2003) Vagueness. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Stanford University, Stanford
Toulmin S (1958) The uses of arguments. Cambridge University Press, London
van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of interantional conference on requirement engineering
van Lamsweerde A, Darimont R, Massonet Ph (1992) The Meeting Scheduler Problem: Preliminary Definition. Département d’ingénierie informatique, Université catholique de Louvain
Williamson T (1994) Vagueness. Routledge, London
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
Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of international symposium on requirement engineering
Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Meth 6(1):1–30 Article Google Scholar