Viatra, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Das Buch "VIATRA" von Betascript Publishing bietet eine umfassende Einführung in das VIATRA (VIsual Automated model TRAnsform... Mehr erfahren
Produktvarianten
Viatra, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "VIATRA" von Betascript Publishing bietet eine umfassende Einführung in das VIATRA (VIsual Automated model TRAnsformations) Framework, das eine zentrale Rolle in der transformationsbasierten Verifikation und Validierung von Systemen spielt. Es zielt darauf ab, die Qualität von Systemen zu verbessern, die mit der Unified Modeling Language (UML) entworfen wurden, indem es automatisch Konsistenz, Vollständigkeit und Zuverlässigkeitsanforderungen überprüft. Das Buch behandelt die Entwicklung von Modelltransformationen, die präzise modellbasierte Systementwicklung unterstützen, und erklärt, wie unsichtbare formale Methoden durch automatisierte Modelltransformationen in verschiedene mathematische Domänen projiziert werden. Diese Ansätze sind entscheidend für die Verbesserung der Systemqualität und die Unterstützung von Entwicklern bei der Anwendung formaler Methoden in der Praxis.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing