Verification and Validation for Quality of UML 2.0 Models
来源:互联网 发布:生意参谋数据分析2017 编辑:程序博客网 时间:2024/06/06 02:26
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.
http://rapidshare.com/files/16541586/I0471727830.rar
- Wiley - VERIFICATION AND VALIDATION FOR QUALITY OF UML 2.0 MODELS
- Verification and Validation for Quality of UML 2.0 Models
- Verification and validation
- Forward: Verification and validation (software)
- Domain Architectures: Models and Architectures for UML Applications
- PROGRESSIVE GROWING OF GANS FOR IMPROVED QUALITY, STABILITY, AND VARIATION
- PROGRESSIVE GROWING OF GANs for IMPROVED QUALITY, STABILITY AND VARIATION
- CFD的确认与验证(Verification and Validation of Computational Fluid Dynamics)
- Process Quality Assurance for UML-Based Projects
- Metrics and Models in Software Quality Engineering, Second Edition
- Reading Note: Progressive Growing of GANs for Improved Quality, Stability, and Variation
- What is Review Efficiency, peer review ,Verification and Validation
- Comments and the Quality of Code
- TACAS11: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
- 验证(Verification) & 确认(Validation)
- Verification和Validation
- Concepts, Techniques, and Models of Computer Programming
- The download page of models for opennlp
- ubuntu在本本上成功工作起来了
- windows注册表详解
- UML for Database Design
- Use Cases: Requirements in Context, Second Edition
- SQL几种常用连接方式
- Verification and Validation for Quality of UML 2.0 Models
- 三种Ext提交数据的方法
- javascript抓词
- 工作进度1
- CMM in Practice: Processes for Executing Software Projects at Infosys
- Sql分页,Sql2000/2005适用
- 在DataGridView中指定日期列的格式
- 工作进度2--预处理器的设计
- CMMI : Guidelines for Process Integration and Product Improvement