2570 search results - page 30 / 514 » Reliability Modeling Using UML |
FMOODS
2007
13 years 10 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
APN
2006
Springer
14 years 7 days 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 2 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...