Sciweavers

2317 search results - page 1 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
DSVIS
1997
Springer
13 years 7 months ago
DMVIS: Design, Modelling and Validation of Interactive Systems
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
Robert E. Fields, Nicholas A. Merriam, Andrew M. D...
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
13 years 9 months ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
TOG
2012
181views Communications» more  TOG 2012»
11 years 6 months ago
Guided exploration of physically valid shapes for furniture design
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
Nobuyuki Umetani, Takeo Igarashi, Niloy J. Mitra
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
13 years 9 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
HCI
2011
12 years 7 months ago
A Methodical Approach for Developing Valid Human Performance Models of Flight Deck Operations
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
Brian F. Gore, Becky L. Hooey, Nancy Haan, Deborah...