Sciweavers

Share
DSVIS
1997
Springer

DMVIS: Design, Modelling and Validation of Interactive Systems

9 years 6 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 argue that a change of emphasis may be necessary as the field matures. We argue that real projects with specific objectives for formal methods are more likely to employ a range of diverse, lightweight modelling techniques. We explore this view by showing how, on one example, several quite different kinds of analysis can be performed using different models.
Robert E. Fields, Nicholas A. Merriam, Andrew M. D
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where DSVIS
Authors Robert E. Fields, Nicholas A. Merriam, Andrew M. Dearden
Comments (0)
books