4636 search results - page 163 / 928 » Modelling and Validation with VipTool |
123
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
156
click to vote
WSC
1997
15 years 5 months ago
1997
A methodology is presented which allows comparison between models under different modeling paradigms. Consider the following situation: Two models have been constructed to study d...
144
click to vote
ADAEUROPE
2006
Springer
15 years 10 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...
105
click to vote
BPM
2004
Springer
15 years 9 months ago
2004
Springer
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...
126
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...