Agile Requirements Engineering via Paraconsistent Reasoning, Special Issue: Advanced Information Systems Engineering (CAiSE'12)