A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
John MylopoulosPublished in: RCIS (2019)
Keyphrases
- requirements engineering
- argumentation semantics
- software engineering
- life cycle
- goal oriented
- requirements specification
- requirements elicitation
- software development
- argumentation frameworks
- nonmonotonic reasoning
- development process
- requirements engineering process
- practical reasoning
- systems development
- software requirements
- business process
- information systems
- software intensive systems
- artificial intelligence
- object oriented
- decision problems
- utility function
- expert systems
- real world