37 search results - page 1 / 8 » Fusing Quantitative Requirements Analysis with Model-based S... |
RE
2006
Springer
13 years 4 months ago
2006
Springer
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
APN
2006
Springer
13 years 8 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...
AEI
2007
13 years 5 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...