Specifying and analyzing early requirements in Tropos 论文

2004Requirements Engineering引用 243
Advanced Software Engineering MethodologiesFormal Methods in VerificationModel-Driven Software Engineering Techniques