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 …

One aim of component-based software engineering (CBSE) is to enable the prediction of
extra-functional properties, such as performance and reliability, utilising a well-defined …

Performance prediction and measurement approaches for component-based software
systems help software architects to evaluate their systems based on component …

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 …

Modern enterprise applications have to satisfy increasingly stringent Quality-of-Service
requirements. To ensure that a system meets its performance requirements, the ability to …

During the last decade, researchers have proposed a number of model transformations
enabling performance predictions. These transformations map performance-annotated …

The problem of composing services to deliver integrated business solutions has been widely
studied in the last years. Besides addressing functional requirements, services compositions …

There are many voices in the robotics community demanding a qualitative improvement in
the robotics software development process and tools, in order to increase product flexibility …

During the last two decades, a major challenge for the researchers working on modeling
and evaluation of computer-based systems has been the assessment of system Non …

For component-based performance engineering, software component developers
individually create performance specifications of their components. Software architects …