CaRE: a refinement calculus for requirements engineering based on argumentation theory.
Yehia ElrakaibyAlexander BorgidaAlessio FerrariJohn MylopoulosPublished in: Softw. Syst. Model. (2022)
Keyphrases
- requirements engineering
- argumentation theory
- software engineering
- life cycle
- argumentation semantics
- argumentation systems
- requirements specification
- goal oriented
- software development
- abstract argumentation
- multi agent systems
- requirements elicitation
- argumentation frameworks
- security requirements
- requirements engineering process
- business process
- software intensive systems
- literature review
- software requirements
- information systems
- development process
- multi agent
- databases
- cooperative
- real world
- database