2878 search results - page 63 / 576 » Analyzing the Uses of a Software Modeling Tool |
SIGSOFT
2000
ACM
14 years 13 days ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
APN
2006
Springer
13 years 11 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
ADAEUROPE
2006
Springer
14 years 2 months ago
2006
Springer
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...