367 search results - page 3 / 74 » Industrial validation of COVAMOF |
ECMDAFA
2007
Springer
14 years 5 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ICAT
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper describes the use of Virtual Reality to aid in the design, validation and user training of a gesture and vocal interface. The interface system sends commands to a conta...
VTS
2002
IEEE
14 years 3 months ago
2002
IEEE
TSE
2012
12 years 1 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...