367 search results - page 3 / 74 » Industrial validation of COVAMOF |
105
click to vote
ECMDAFA
2007
Springer
15 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...
94
Voted
ICAT
2007
IEEE
15 years 6 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...
70
Voted
VTS
2002
IEEE
15 years 4 months ago
2002
IEEE
174
Voted
TSE
2012
13 years 2 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...
97
Voted
IFIP
2010
Springer
14 years 6 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...