1104 search results - page 11 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
MSV
2004
13 years 9 months ago
2004
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
WSC
2000
13 years 8 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
ER
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. In this paper, we present the complete classification of recursive relationships and the criteria that contribute to the structural validity of modeling recursive relatio...
WSC
2001
13 years 8 months ago
2001
The military develops simulations to analyze nearly every aspect of defense. How accurate are these simulations and to what extent do they produce dependable results? Most guidanc...
FAC
2008
13 years 7 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...