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