Employing Use-cases for Piecewise Evaluation of Requirements and Claims