83 search results - page 2 / 17 » Model Based Refinement and the Tools of Tomorrow |
ECBS
2005
IEEE
13 years 11 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
DAC
2002
ACM
14 years 6 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
ICFEM
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
CW
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper presents work in progress and continues a project devoted to developing shape modeling system based on implementation of radial based function (RBF) technology. In this...
ATVA
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...