WALAI AutoLIB – RSSRSSWALAI AutoLibVerification and validation for quality of uml 2.0 models /Bhuvan Unhelkar.http://202.29.57.205/opac/catalog/BibItem.aspx?BibID=b00033284<img src="https://www.opac.sskru.ac.th/bookcover/33284/33284-fc-t.gif" align="left" height="150" width="120"/>130607Applying UML and patterns :an introduction to object- oriented analysis and design and iterative development /Craig Larman.http://202.29.57.205/opac/catalog/BibItem.aspx?BibID=b00033503<img src="https://www.opac.sskru.ac.th/bookcover/33503/33503-fc-t.gif" align="left" height="150" width="120"/>130613