Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

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

149.15 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10473307

Beschreibung

1. Introduction 2. A Formal Interpretation of UML/OCL 3 A Symbolic Formulation for Models 4 Structural Aspects 5 Behavioral Aspects 6 Timing Aspects 7 Reducing Instance Sizes with Ground Setting Properties 8 Re-utilizing Verification Results of UML/OCL Models 9 Conclusion Nomenclature A Class Inheritance B An SMT Instance with an unknown Result C Contradictory XOR definitions Index

Eigenschaften

Breite:	156
Gewicht:	420 g
Höhe:	236
Länge:	16
Seiten:	255
Sprachen:	Englisch
Autor:	Judith Przigoda, Nils Przigoda, Robert Wille, Rolf Drechsler

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller