A software model can be analysed for non-functional requirements by extending it with suitable annotations and transforming it into analysis models for the corresponding non-functional properties. For quantitative performance evaluation, suitable annotations are standardized in the “UML Profile for Modeling and Analysis of Real-Time Embedded systems” (MARTE) and its predecessor, the “UML Profile for Schedulability, Performance and Time”. A range of different performance model types (such as queueing networks, Petri nets, stochast
Abstract—During the last decade, researchers have proposed a number of model transformations enablin...
We address the issue of the development of performance models for programs that may be executed on l...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...
Abstract. A software model can be analyzed for non-functional requirements by extending it with suit...
This chapter starts with a brief review of performance modeling formalisms and a discussion of the p...
In the software development process, model transformation is increasingly assimilated. However, syst...
In order to effectively validate the performance of software systems throughout their development cy...
In order to effectively validate the performance of software systems throughout their development cy...
In order to effectively validate the performance of software systems throughout their development cy...
In order to effectively validate the performance of software systems throughout their development cy...
The paper proposes to integrate performance analysis in the early phases of the model-driven develop...
Abstract: High-quality software needs to meet both functional and non-functional requirements. In so...
This paper investigates the question of improving a performance model by exploiting all the informat...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...
Abstract—During the last decade, researchers have proposed a number of model transformations enablin...
We address the issue of the development of performance models for programs that may be executed on l...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...
Abstract. A software model can be analyzed for non-functional requirements by extending it with suit...
This chapter starts with a brief review of performance modeling formalisms and a discussion of the p...
In the software development process, model transformation is increasingly assimilated. However, syst...
In order to effectively validate the performance of software systems throughout their development cy...
In order to effectively validate the performance of software systems throughout their development cy...
In order to effectively validate the performance of software systems throughout their development cy...
In order to effectively validate the performance of software systems throughout their development cy...
The paper proposes to integrate performance analysis in the early phases of the model-driven develop...
Abstract: High-quality software needs to meet both functional and non-functional requirements. In so...
This paper investigates the question of improving a performance model by exploiting all the informat...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...
Abstract—During the last decade, researchers have proposed a number of model transformations enablin...
We address the issue of the development of performance models for programs that may be executed on l...
Evaluation of non-functional properties of a design (such as performance, dependability, security, e...