Over the last decade, a lot of research has been directed toward integrating performance
analysis into the software development process. Traditional software development methods …

The development of complex software systems satisfying performance requirements is
achievable only spending careful attention to performance goals throughout the lifecycle …

This chapter first reviews the origins of Software Performance Engineering (SPE). It provides
an overview and an extensive bibliography of the early research. It then covers the …

Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …

In this paper we present an approach to evaluating the expected performance of a software
architecture (SA). The method allows the derivation of a performance evaluation model …

A formal approach for the design and analysis of concurrent systems is proposed which
integrates two different orthogonal aspects of time:(i) the aspect of probabilistic-time …

In the last decade, several research efforts have been directed to integrating performance
analysis in the software development process. Traditional software development methods …

The objective of this tutorial is to describe the evolution of the field of stochastic process
algebra in the past decade, through a presentation of the main achievements in the field. In …

Quantitative analysis of software systems is being recognized as an important issue in the
software development process. Performance analysis can help to address quantitative …

The modeling and analysis experience with process algebras has shown the necessity of
extending them with priority, probabilistic internal/external choice, and time in order to be …