Model-based performance prediction in software development: A survey
Over the last decade, a lot of research has been directed toward integrating performance
analysis into the software development process. Traditional software development methods …
analysis into the software development process. Traditional software development methods …
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
The development of complex software systems satisfying performance requirements is
achievable only spending careful attention to performance goals throughout the lifecycle …
achievable only spending careful attention to performance goals throughout the lifecycle …
The analysis of architectural languages for the needs of practitioners
M Ozkaya - Software: Practice and Experience, 2018 - Wiley Online Library
Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …
specifying and reasoning about important design decisions. In this study, 124 different …
Introduction to software performance engineering: Origins and outstanding problems
CU Smith - Formal Methods for Performance Evaluation: 7th …, 2007 - Springer
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 …
an overview and an extensive bibliography of the early research. It then covers the …
Performance analysis at the software architectural design level
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 …
architecture (SA). The method allows the derivation of a performance evaluation model …
[PDF][PDF] Specification and analysis of stochastic real-time systems
M Bravetti - 2002 - cs.unibo.it
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 …
integrates two different orthogonal aspects of time:(i) the aspect of probabilistic-time …
[PDF][PDF] Simulation-based performance modeling of UML software architectures.
M Marzolla - 2005 - Citeseer
Quantitative analysis of software systems is being recognized as an important issue in the
software development process. Performance analysis can help to address quantitative …
software development process. Performance analysis can help to address quantitative …
Stochastic process algebra: From an algebraic formalism to an architectural description language
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 …
algebra in the past decade, through a presentation of the main achievements in the field. In …
Combining stochastic process algebras and queueing networks for software architecture analysis
We propose an integrated approach to the functional and performance analysis of Software
Architectures (SAs) based on Stochastic Process Algebras (SPAs) and Queueing Networks …
Architectures (SAs) based on Stochastic Process Algebras (SPAs) and Queueing Networks …
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
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 …
extending them with priority, probabilistic internal/external choice, and time in order to be …