Viatra, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
29,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
