LEADER 05394nam 22006734a 450 001 9910830572803321 005 20230124182313.0 010 $a1-280-27751-3 010 $a9786610277513 010 $a0-470-25222-7 010 $a0-471-73432-2 010 $a0-471-73431-4 035 $a(CKB)1000000000355120 035 $a(EBL)238767 035 $a(OCoLC)78051892 035 $a(SSID)ssj0000267093 035 $a(PQKBManifestationID)11241613 035 $a(PQKBTitleCode)TC0000267093 035 $a(PQKBWorkID)10332980 035 $a(PQKB)10554924 035 $a(MiAaPQ)EBC238767 035 $a(EXLCZ)991000000000355120 100 $a20041220d2005 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aVerification and validation for quality of UML 2.0 models$b[electronic resource] /$fBhuvan Unhelkar 210 $aHoboken, NJ $cJohn Wiley$d2005 215 $a1 online resource (312 p.) 225 1 $aWiley Series in Systems Engineering and Management ;$vv.42 300 $a"A Wiley-Interscience publication." 311 $a0-471-72783-0 320 $aIncludes bibliographical references and index. 327 $aVERIFICATION AND VALIDATION FOR QUALITY OF UML 2.0 MODELS; Contents; Figures; Foreword; Preface; Acknowledgments; Glossary of Acronyms and Terms; Author Profile; 1 The Quality Strategy for UML; Chapter Summary; 1.1 Modeling and Quality; 1.1.1 The Modeling Advantage; 1.1.2 Modeling Caveats; 1.1.3 Context of Model Quality; 1.1.4 Model Quality; 1.2 Positioning UML for Modeling; 1.3 Quality Aspects of UML; 1.4 Understanding Modeling Spaces in Software; 1.5 Modeling Spaces and UML; 1.5.1 Importance of UML Diagrams to Respective Models; 1.5.2 List of UML Diagrams 327 $a1.5.3 UML Diagrams and Modeling Spaces1.5.4 Model of Problem Space (MOPS); 1.5.5 Model of Solution Space (MOSS); 1.5.6 Model of Background Space (MOBS); 1.6 Verification and Validation; 1.6.1 Quality Models-Syntax; 1.6.2 Quality Models-Semantics; 1.6.3 Quality Models-Aesthetics; 1.6.4 Quality Techniques and V&V Checks; 1.7 Quality Checks and Skills Levels; 1.8 Levels of Quality Checks to UML Diagrams; 1.8.1 Syntax Checks and UML Elements (Focus on Correctness); 1.8.2 Semantic Checks and UML Diagrams (Focus on Completeness and Consistency) 327 $a1.8.3 Aesthetic Checks and UML Models (Focus on Symmetry and Consistency)1.9 Model-Driven Architecture (MDA) and Quality; 1.10 Prototyping and Modeling Spaces; Discussion Topics; References; 2 Nature and Basics of UML Diagrams; Chapter Summary; 2.1 The Nature of UML Diagrams; 2.1.1 Elasticity of UML; 2.1.2 Structural versus Behavioral Nature of UML Diagrams; 2.1.3 Static versus Dynamic Nature of UML Diagrams; 2.2 Use Case Diagrams; 2.2.1 Nature of Use Case Diagrams; 2.2.2 Putting Together a Use Case Diagram; 2.3 Activity Diagrams; 2.3.1 Nature of Activity Diagrams 327 $a2.3.2 Putting Together an Activity Diagram2.3.3 Specifications in an Activity Diagram; 2.4 Class Diagrams; 2.4.1 Nature of Class Diagrams; 2.4.2 Putting Together a Class Diagram; 2.4.3 Specification of a Class; 2.5 Sequence Diagrams; 2.5.1 Nature of Sequence Diagrams; 2.5.2 Putting Together a Sequence Diagram; 2.5.3 Specifications of a Sequence Diagram; 2.6 Communication Diagrams; 2.6.1 Nature of Communication Diagrams; 2.6.2 Putting Together a Communication Diagram; 2.7 Interaction Overview Diagrams; 2.7.1 Nature of Interaction Overview Diagrams 327 $a2.7.2 Putting Together an Interaction Overview Diagram2.8 Object Diagrams; 2.8.1 Nature of Object Diagrams; 2.8.2 Putting Together an Object Diagram; 2.9 State Machine Diagrams; 2.9.1 Nature of State Machine Diagrams; 2.9.2 Putting Together a State Machine Diagram; 2.10 Composite Structure Diagrams; 2.10.1 Nature of Composite Structure Diagrams; 2.10.2 Putting Together a Composite Structure Diagram; 2.11 Component Diagrams; 2.11.1 Nature of Component Diagrams; 2.11.2 Putting Together a Component Diagram; 2.11.3 Specifications of a Component Diagram; 2.12 Deployment Diagrams 327 $a2.12.1 Nature of Deployment Diagrams 330 $aA 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-SellersThis 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 th 410 0$aWiley Series in Systems Engineering and Management 606 $aComputer software$xVerification 606 $aComputer software$xQuality control 606 $aUML (Computer science) 615 0$aComputer software$xVerification. 615 0$aComputer software$xQuality control. 615 0$aUML (Computer science) 676 $a005.1/4 676 $a005.12 700 $aUnhelkar$b Bhuvan$0880846 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910830572803321 996 $aVerification and validation for quality of UML 2.0 models$94085338 997 $aUNINA