Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers

by Robert Wille, Judith Przigoda, Nils Przigoda, et al.

Book Overview

Provides a general flow and description for the validation and verification of UML/OCL models

Demonstrates a detailed realization of the general flow using satisfiability solvers

Includes a case study that presents the possibilities of the state-of-the-art approaches

• Format: Paperback
• Language: English
• ISBN: 3319892142
• ISBN13: 9783319892146
• Release Date: June 2019
• Publisher: Springer
• Length: 255 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"