The goal is to survey dependability modeling and analysis of software and systems specified
with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the …

Recognizing that design is at the core of information systems development has led to a
design-science research paradigm where differing kinds of knowledge goals give form to …

Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …

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 …

We present the model transformation language of the VIATRA2 framework, which provides a
rule-and pattern-based transformation language for manipulating graph models by …

The VIATRA (visual automated model transformations) framework is the core of a
transformation-based verification and validation environment for improving the quality of …

The importance of assessing software non-functional properties (NFP) beside the functional
ones is well accepted in the software engineering community. In particular, dependability is …

The development of safety critical systems becomes even harder since the complexity of
these systems grows continuously. Moreover, this kind of process involves the use of …

As UML 2.0 is evolving into a family of languages with individually specified semantics, there
is an increasing need for automated and provenly correct model transformations that (i) …

The reliability of a computer-based system may be as important as its performance and its
correctness of computation. It is worthwhile to estimate system reliability at the conceptual …