01207nam a2200217Ia 4500 CTU_153225 210402s9999 xx 000 0 und d 57.94 005.14 U54 Unhelkar, Bhuvan Verification and validation for quality of UML 2.0 madels Bhuvan Unhelkar Hoboken, NJ. John Wiley 2005 This book presents a practical checklist approach to enhancing the quality of software models created with the Unified Modeling Language (UML) Version 2.0. The foundation for quality is set by the discussion on the nature and creation of UML models. This is followed by a demonstration of how to apply verification and validation checks to these models with three foci: syntactical correctness, semantic meaningfulness, and aesthetic symmetry Computer software,Computer software,UML (Computer science),Phần mềm máy tính,Phần mềm máy tính,UML (khoa học máy tính) Verification,Quality control,Kiểm tra,Kiểm soát chất lượng QHieu Trung tâm Học liệu Trường Đại học Cần Thơ