245 search results - page 3 / 49 » Software Performance Modeling Using UML and Petri Nets |
JCSS
2011
13 years 8 days ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
WOSP
2005
ACM
13 years 11 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
WOSP
2000
ACM
13 years 9 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
CPE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
ICWN
2003
13 years 6 months ago
2003
Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Pet...