Sciweavers

DSVIS
1997
Springer
13 years 7 months ago
Do interactive systems need specifications?
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...
Anthony Hall
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...
DSVIS
1998
Springer
13 years 7 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
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...
Meurig Sage, Chris Johnson
DSVIS
1998
Springer
13 years 7 months ago
An Ontology for Task World Models
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 ...
Martijn van Welie, Gerrit C. van der Veer, Anton E...
DSVIS
1998
Springer
13 years 7 months ago
The Role of Verification in Interactive Systems Design
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 ...
José Creissac Campos, Michael D. Harrison
DSVIS
1998
Springer
13 years 7 months ago
Inference and Information Resources: A Design Case Study
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 ...
Robert E. Fields, Nicholas A. Merriam
DSVIS
1998
Springer
13 years 7 months ago
A Uniform Approach for Specification and Design of Interactive Systems: the B Method
: 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
Yamine Aït Ameur, Patrick Girard, Francis Jam...
DSVIS
1999
Springer
13 years 8 months ago
Dialogue Validation from Task Analysis
Francis Jambon, Patrick Girard, Yohann Boisdron
DSVIS
2000
Springer
13 years 8 months ago
User Interface Declarative Models and Development Environments: A Survey
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...
Paulo Pinheiro da Silva