Verification and Validation for Quality of UML 2.0 Models

Verification and Validation for Quality of UML 2.0 Models
Author :
Publisher : John Wiley & Sons
Total Pages : 312
Release :
ISBN-10 : 9780471734314
ISBN-13 : 0471734314
Rating : 4/5 (14 Downloads)

Book Synopsis Verification and Validation for Quality of UML 2.0 Models by : Bhuvan Unhelkar

Download or read book Verification and Validation for Quality of UML 2.0 Models written by Bhuvan Unhelkar and published by John Wiley & Sons. This book was released on 2005-09-15 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt: A practical approach to enhancing quality in software models using UML Version 2.0 "Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet read this book!" -From the Foreword by Prof. Brian Henderson-Sellers 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) Readers can then choose a specific quality approach according to their roles in their projects. Verification and validation checks are also organized according to these three modeling spaces, making it easier for the reader to focus on the appropriate diagrams and quality checks corresponding to their modeling space. In addition, a major element of this publication is the Strengths, Weaknesses, Objectives, and Traps (SWOT) analysis. This analysis is performed on each UML diagram, enabling readers to fully comprehend these diagrams, their advantages and limitations, and the way in which they can be used in practical projects for modeling. A consistent case study of the Lucky Insurance System is provided throughout the chapters to illustrate the creation of good quality UML diagrams, followed by application of quality checks to them. With its emphasis on quality in UML-based projects, this book is an essential resource for all quality professionals, including quality analysts, process consultants, quality managers, test designers, and testers.


Verification and Validation for Quality of UML 2.0 Models Related Books

Verification and Validation for Quality of UML 2.0 Models
Language: en
Pages: 312
Authors: Bhuvan Unhelkar
Categories: Computers
Type: BOOK - Published: 2005-09-15 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

A practical approach to enhancing quality in software models using UML Version 2.0 "Despite its increasing usage, many companies are not taking the best advanta
System-Level Validation
Language: en
Pages: 259
Authors: Mingsong Chen
Categories: Technology & Engineering
Type: BOOK - Published: 2012-09-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore archite
Advances in Conceptual Modeling - Foundations and Applications
Language: en
Pages: 424
Authors: Jean-Luc Hainaut
Categories: Computers
Type: BOOK - Published: 2007-11-13 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed joint proceedings of six workshops held in conjunction with the 26th International Conference on Conceptual Modeling. Topics
Innovations in Database Design, Web Applications, and Information Systems Management
Language: en
Pages: 505
Authors: Siau, Keng
Categories: Computers
Type: BOOK - Published: 2012-09-30 - Publisher: IGI Global

DOWNLOAD EBOOK

New techniques and tools for database and database technologies are continuously being introduced. These technologies are the heart of many business information
Verification and Validation in Systems Engineering
Language: en
Pages: 261
Authors: Mourad Debbabi
Categories: Computers
Type: BOOK - Published: 2010-11-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost