出典:Wikipedia
出典:『Wikipedia』 (2011/03/03 09:05 UTC 版)
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.