Description: Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers, Paperback by Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf, ISBN 3319892142, ISBN-13 9783319892146, Like New Used, Free shipping in the US
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
Price: 189.12 USD
Location: Jessup, Maryland
End Time: 2024-12-20T08:53:32.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Automated Validation & Verification of Uml/Ocl Models Using Satis
Number of Pages: Xii, 255 Pages
Language: English
Publication Name: Automated Validation and Verification of Uml/Ocl Models Using Satisfiability Solvers
Publisher: Springer International Publishing A&G
Subject: Software Development & Engineering / Quality Assurance & Testing, Systems Architecture / General, Electronics / Circuits / General, Programming / Object Oriented, Electronics / General, Programming Languages / Uml
Publication Year: 2019
Item Weight: 16 Oz
Type: Textbook
Subject Area: Computers, Technology & Engineering
Item Length: 9.3 in
Author: Judith Przigoda, Rolf Drechsler, Robert Wille, Nils Przigoda
Item Width: 6.1 in
Format: Trade Paperback
