Agile requirements engineering via paraconsistent reasoning

作者：

Highlights：

• Motivates importance of managing software variability via paraconsistent reasoning.

• Introduces RE-KOMBINE for solving inconsistent requirements problems.

• Creates language T1 for expressing inconsistent requirements problems.

• Specifies and implements operators for querying requirements problems.

• Evaluates the RE-KOMBINE framework with a retrospective industrial case study.

摘要

Highlights•Motivates importance of managing software variability via paraconsistent reasoning.•Introduces RE-KOMBINE for solving inconsistent requirements problems.•Creates language T1 for expressing inconsistent requirements problems.•Specifies and implements operators for querying requirements problems.•Evaluates the RE-KOMBINE framework with a retrospective industrial case study.

论文关键词：Paraconsistency,Agile methods,Software requirements,Requirements evolution

论文评审过程：Available online 6 June 2013.

论文官网地址：https://doi.org/10.1016/j.is.2013.05.008