2796 search results - page 163 / 560 » A time structure based software reliability model |
137
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
135
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
139
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
134
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
131
click to vote
JUCS
2008
15 years 3 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...