CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
Yehia ElrakaibyAlessio FerrariJohn MylopoulosPublished in: RE (2018)
Keyphrases
- requirements engineering
- argumentation semantics
- software engineering
- goal oriented
- life cycle
- requirements specification
- requirements elicitation
- software development
- nonmonotonic reasoning
- practical reasoning
- requirements engineering process
- systems development
- argumentation frameworks
- development process
- literature review
- software requirements
- software intensive systems
- data mining
- decision problems
- business process
- information systems
- programming language