Return to Article Details Maintaining consistency between Use Case diagrams and iStar models with computational support Download Download PDF