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).

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.