Abstract Specification theories as a tool in model-driven development processes of
component-based software systems have recently attracted a considerable attention …

This thesis is concerned with quantitative verification, that is, the verification of quantitative
properties of quantitative systems. These systems are found in numerous applications, and …

Software development organizations are seeking to add quality to their products. Testing
processes are strategic elements to manage projects and product quality. However …

Ceci est une traduction française de l'introduction du mémoire d'habilitation à diriger des
recherches (HDR) rédigé par Uli Fahrenberg. Elle a été produite par Aline Fahrenberg en …

As embedded software becomes an increasing part of our daily lives, modelling and
verification of embedded systems is highly relevant. Common for many embedded software …

This paper shows that a classic metalogical framework, including all Boolean operators, can
be used to support the development of a metric behavioural theory for Markov processes …