A thorough system specification is insufficient to guarantee that a computer system will
adequately perform its tasks during its entire life cycle. The early evaluation of system …

This paper introduces means to specify system randomness within UML statecharts, and to
verify probabilistic temporal properties over such enhanced statecharts which we call …

The paper introduces a method which allows quantitative dependability analysis of systems
modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis …

Even though a thorough system specification improves the quality of the design, it is not
sufficient to guarantee that a system will satisfy its reliability targets. Within this paper, we …

Model-Driven engineering (MDE) aims to elevate models in the engineering process to a
central role in the specification, design, integration, validation, and operation of a system …

In the last ten years, Model Driven Engineering (MDE) approaches have been extensively
used for the analysis of extra-functional properties of complex systems, like safety …

Model transformation systems are graph transformation systems that perform translations
between languages defined by a corresponding metamodel as the type graph. The current …

As the size of databases increases, the number of rules mined from them also increases,
often to an extent that overwhelms users. To address this problem, an important part of the …

For future intelligent man-machine systems with vision, it is necessary to visualize the results
of shape and motion and analysis of observed objects in the images. As for object …

For most systems, especially dependable real-time systems for critical applications, an
effective design process requires an early validation of the concepts and architectural …