Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Autor: | Drechsler, Rolf Przigoda, Judith Przigoda, Nils Wille, Robert |
---|---|
EAN: | 9783319892146 |
Sachgruppe: | Technik |
Sprache: | Englisch |
Seitenzahl: | 268 |
Produktart: | Kartoniert / Broschiert |
Veröffentlichungsdatum: | 06.06.2019 |
160,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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