Verification and Validation for Quality of UML 2.0 Models

色人wov

(PDF 英文版)

by Bhuvan Unhelkar
Hardcover: 312 pages
Publisher: Wiley-Interscience (July 20, 2005)
ISBN-10: 0471727830
ISBN-13: 978-0471727835

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. The quality work is carried out within three distinct yet related modeling spaces:



Model of problem space (MOPS)

Model of solution space (MOSS)

Model of background space (MOBS)

天下无两

kankan

达意

kankan

uwvpnl

yjs916

good,thanks.