Search Results

Model inspections are important to ensure high‐quality software and to satisfy legal obligations in model‐based engineering processes. As model‐based specifications are typically documented on type‐level, errors concerning the interactions between ...

This paper contributes a definition of instance‐level review diagrams in message sequence charts notation and reports results of a controlled experiment to evaluate instance‐level review diagrams. Results show that instance‐level review models support the ...

[Background] In model-based engineering models need to be regularly validated by manual assessment. Therefore, review processes have established. This commonly means that a visual inspection of the respective models is conducted. [Aims] In this paper, ...

In empirical software engineering research, graduate students are often seen as legitimate substitutes for industry professionals. It has been also argued in the literature that the generalizability of empirical results from experiments with ...