Neuware
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
von Nils Przigoda, Rolf Drechsler, Judith Przigoda, Robert Wille
2018 Gebunden, 268 Seiten, 241mm x 160mm x 21mm, Sprache(n): eng 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 possibilitie…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783319728131
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!