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

Przigoda, Nils, Drechsler, Rolf, Przigoda, Judith, Wille, Robert

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 €*

inkl. MwSt.

zzgl. Versandkosten

(ab 25 Euro versandkostenfrei) *außer auf ausgewälte Artikel

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

Verwandte Artikel

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Przigoda, Nils, Drechsler, Rolf, Przigoda, Judith, Wille, Robert

160,49 €*

Weitere Produkte vom selben Autor

Deutschbuch Gymnasium - Neue Allgemeine Ausgabe 7. Schuljahr - Schülerbuch Buhr, Christina, Herold, Robert, Joist, Alexander, Laak, Cosima van, Langner, Markus, Meyer-Pfeil, Manuela, Mielke, Angela, Mohr, Deborah, Oldeweme, Christoph, Pabelick, Norbert, Schappert, Christoph, Tetling, Klaus, Walbergs, Linda, Will, Robert

29,75 €*

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Drechsler, Rolf, Huhn, Sebastian

109,99 €*

Deutschbuch Gymnasium 9. Schuljahr - Nordrhein-Westfalen - Schülerbuch Thönneßen-Fischer, Angelika, Will, Robert, Tetling, Klaus, Schönenborn, Diana, Pabelick, Norbert, Schappert, Christoph, Mohr, Deborah, Fischer, Christoph, Kroesen, Stephanie, Lippert, Sebastian, Joist, Alexander, Rubel, Gerda, Oldeweme, Christoph, Mielke, Angela, Langner, Markus, Schneider, Frank, Graf, Inga, Herold, Robert

29,75 €*

Deutschbuch Gymnasium 10. Schuljahr - Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt und Thüringen - Schulbuch mit Hörtexten und Erklärfilmen Bowien, Petra, Graf, Inga, Herold, Robert, Will, Robert, Tetling, Klaus, Schönenborn, Diana, Pabelick, Norbert, Schappert, Christoph, Mohr, Deborah, Fischer, Christoph, Kroesen, Stephanie, Thönneßen-Fischer, Angelika, Lippert, Sebastian, Scheuringer-Hillus, Luzia, Joist, Alexander, Rubel, Gerda, Oldeweme, Christoph, Mielke, Angela, Langner, Markus, Schneider, Frank

28,25 €*