The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

When dealing with complex systems, information is very often fragmented across many
different models expressed within a variety of (modeling) languages. To provide the relevant …

Context: Automatic localization of buggy files can speed up the process of bug fixing to
improve the efficiency and productivity of software quality assurance teams. Useful semantic …

Program analyses support software developers, for example, through error detection, code-
quality assurance, and by enabling compiler optimizations and refactorings. To provide real …

The advent of complex Cyber–Physical Systems (CPSs) creates the need for more efficient
engineering processes. Recently, DevOps promoted the idea of considering a closer …

Design space exploration (DSE) aims to find optimal design candidates of a domain with
respect to different objectives where design candidates are constrained by complex …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

Semantic Web Services are a promising combination of Semantic Web and Web service
technology, aiming at providing means of automatically executing, discovering and …

Abstract Model-driven tools frequently rely on advanced technologies to support model
queries, view maintenance, design rule validation, model transformations or design space …

In model-driven development of safety-critical systems (like automotive, avionics or
railways), well-formedness of models is repeatedly validated in order to detect design flaws …