๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verification and validation for quality of UML 2.0 models

โœ Scribed by Bhuvan Unhelkar


Book ID
106658813
Publisher
John Wiley
Year
2005
Tongue
English
Weight
3 MB
Category
Library
City
Hoboken, NJ
ISBN-13
9780471727835

No coin nor oath required. For personal study only.

โœฆ Synopsis


This book deals primarily with the creation and enhancement of the quality of software models. The Unified Modeling Language (UML) of the Object Management Group forms the basis of the software models discussed in this book; through its standard visual models, UML provides the much needed common mechanism to establish communication between all parties within a software project. Additionally, the book deals with quality assurance in UML-based projects. A major element of the book is the SWOT analysis (here meaning Strengths, Weaknesses, Objectives and Traps), which is applied to all UML diagrams so that the advantages and disadvantages of each diagram are easily demonstrated.Throughout the book, the author uses a single running example, the LUCKY insurance system, to demonstrate the basic features of UML in early chapters and quality analysis in later ones.


๐Ÿ“œ SIMILAR VOLUMES


A logic-based semantics for the verifica
โœ Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Rossi, Matteo ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Association for Computing Machinery โš– 828 KB

UML is a well-known and widely used design notation: it offers a rich set of modeling elements, but their behavior is often not properly defined. Many proposals have tried to provide UML with a formal semantics, but they often focus on a limited number of diagram types, and thus do not provide a via