5. DSV-IS 1998:
Abingdon,
United Kingdom
Panos Markopoulos, Peter Johnson (Eds.):
Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom.
1 Springer 1998, ISBN 3-211-83212-2 BibTeX
- Dan R. Olsen:
Interacting in chaos.
1-8 BibTeX
- John McCarthy:
The viability of modelling socially organised activity.
9-23 BibTeX
- Keith A. Butler, Chris Esposito, Ron Hebron:
Deriving Business Object Definitions from User Work Process Models.
24-40 BibTeX
- Robert E. Fields, Nicholas A. Merriam:
Inference and Information Resources: A Design Case Study.
41-56 BibTeX
- Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns:
An Ontology for Task World Models.
57-70 BibTeX
- Fabio Paternò, Carmen Santoro, Sophie Tahmassebi:
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control.
71-86 BibTeX
- Richard Butterworth, Ann Blandford:
The Role of Formal Proof in Modelling Interactive Behaviour.
87-101 BibTeX
- Panos Markopoulos, Giorgios Papatzanis, Peter Johnson, Jon Rowson:
Validating Semi-Formal Specifications of Interactors as Design Representations.
102-116 BibTeX
- Sara Jones, John Sapford:
The Role of Informal Representations in Early Design.
117-133 BibTeX
- Meurig Sage, Chris Johnson:
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.
134-154 BibTeX
- José Creissac Campos, Michael D. Harrison:
The Role of Verification in Interactive Systems Design.
155-170 BibTeX
- Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz:
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.
171-190 BibTeX
- Kurt Stirewalt, Gregory D. Abowd:
Practical Dialogue Refinement.
191-205 BibTeX
- Alfred Hussey, David A. Carrington:
Which widgets? deriving implementations from user-interface specifications.
206-224 BibTeX
- Markus Fisher:
A Framework for Generating Spatial Configurations in User Interfaces.
225-241 BibTeX
- Bruno d'Ausbourg:
Using Model Checking for the Automatic Validation of User Interface Systems.
242-260 BibTeX
- Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Specification and Verification of Media Constraints using UPAAL.
261-277 BibTeX
- Hallvard Trætteberg:
Modelling Direct Manipulation Using Referent and Statecharts.
278-292 BibTeX
- Gavin J. Doherty, Michael D. Harrison:
Integrating Joint Behaviour and Dialogue Description.
293-308 BibTeX
- Panos Markopoulos, Peter Johnson:
Discussion Topics for the DSV-IS'98 Working Groups.
309-311 BibTeX
- Michael D. Harrison:
Working Group 1 Report.
312-315 BibTeX
- Jon Rowson:
Working Group 2 Report.
316-320 BibTeX
- David A. Duce:
Integrating Joint Behaviour and Dialogue Description.
321-325 BibTeX
Copyright © Sat May 16 23:07:36 2009
by Michael Ley (ley@uni-trier.de)