VIATRA
CHF 37.10
Auf Lager
SKU
EP4CJB8KCLH
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Mi., 29.10.2025 und Do., 30.10.2025
Details
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based verification and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. VIATRA2 primarily aims at designing model transformations to support the precise model-based systems development with the help of invisible formal methods. Invisible formal methods are hidden by automated model transformations projecting system models into various mathematical domains (and, preferably, vice versa).
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786130544126
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786130544126
- Format Fachbuch
- Titel VIATRA
- Herausgeber Betascript Publishing
- Anzahl Seiten 72
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
