TY - BOOK AU - Unhelkar,Bhuvan TI - Verification and validation for quality of UML 2.0 models T2 - Wiley series in systems engineering and management SN - 0471727830 AV - QA76.76.V47 .U53 2005 PY - 2005/// CY - Hoboken, NJ PB - John Wiley KW - Computer software KW - Verification KW - Quality control KW - UML (Computer science) ER -