
Verification and validation for quality of UML 2.0 models / Bhuvan Unhelkar
Tác giả : Bhuvan Unhelkar
Nhà xuất bản : John Wiley
Năm xuất bản : 2005
Nơi xuất bản : Hoboken, N.J.
Mô tả vật lý : xxxvi, 271 p. : ill. ; 24 cm
ISBN : 047 1727830
Số phân loại : 005.14
Chủ đề : 1. Computer software -- Quality control. 2. Computer software -- Verification. 3. UML (Computer science). 4. Mô hình UML 2.0. 5. Phần mềm kiểm tra chất lượng.
Thông tin chi tiết
Tóm tắt : | 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). |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
|
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-162989.html |