2846 search results - page 19 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
140
click to vote
ICSE
2009
IEEE-ACM
16 years 21 days ago
2009
IEEE-ACM
Configuration and change request management systems offer valuable information for the assessment of process quality characteristics. The definition of appropriate metrics that ad...
219
click to vote
KBSE
2007
IEEE
16 years 6 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
173
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
160
click to vote
SAC
2010
ACM
16 years 23 days ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
162
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...