Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Name: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Brand: Springer International Publishing AG
SKU: 9783319728131
Price: 59155 HUF
Availability: InStock

Szerző: Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

59 155 Ft

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali...

Információk a könyvről

Szerző

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2018

oldal

255

EAN

9783319728131

ISBN

331972813X

Enbook ID

18630043

Kiadó

Springer International Publishing AG

Súly

672

Méretek

155 x 235 x 21

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták