DSVIS
1997
Springer
14 years 4 months ago
1997
Springer
DSVIS
1997
Springer
14 years 4 months ago
1997
Springer
The obvious advantages of prototyping and incremental development for interactive systems lead some people to believe that specifications of such systems are unnecessary or even ha...
DSVIS
1997
Springer
14 years 4 months ago
1997
Springer
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...
DSVIS
1998
Springer
14 years 4 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
DSVIS
1998
Springer
14 years 4 months ago
1998
Springer
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
DSVIS
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
DSVIS
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
DSVIS
1998
Springer
14 years 4 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
DSVIS
1999
Springer
14 years 4 months ago
1999
Springer
DSVIS
2000
Springer
14 years 4 months ago
2000
Springer
Model-Based User Interface Development Environments (MB-UIDEs) provide a context within which user interface declarative models can be constructed and related, as part of the user...