Abstract is missing.
- Interacting in chaosDan R. Olsen. 1-8
- The viability of modelling socially organised activityJohn McCarthy. 9-23
- Deriving Business Object Definitions from User Work Process ModelsKeith A. Butler, Chris Esposito, Ron Hebron. 24-40
- Inference and Information Resources: A Design Case StudyRobert E. Fields, Nicholas A. Merriam. 41-56
- An Ontology for Task World ModelsMartijn van Welie, Gerrit C. van der Veer, Anton Eliëns. 57-70
- Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic ControlFabio Paternò, Carmen Santoro, Sophie Tahmassebi. 71-86
- The Role of Formal Proof in Modelling Interactive BehaviourRichard Butterworth, Ann Blandford. 87-101
- Validating Semi-Formal Specifications of Interactors as Design RepresentationsPanos Markopoulos, Giorgios Papatzanis, Peter Johnson, Jon Rowson. 102-116
- The Role of Informal Representations in Early DesignSara Jones, John Sapford. 117-133
- Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development CycleMeurig Sage, Chris Johnson. 134-154
- The Role of Verification in Interactive Systems DesignJosé Creissac Campos, Michael D. Harrison. 155-170
- Integrating Rendering Specifications into a Formalism for the Design of Interactive SystemsRémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz. 171-190
- Practical Dialogue RefinementKurt Stirewalt, Gregory D. Abowd. 191-205
- Which widgets? deriving implementations from user-interface specificationsAlfred Hussey, David A. Carrington. 206-224
- A Framework for Generating Spatial Configurations in User InterfacesMarkus Fisher. 225-241
- Using Model Checking for the Automatic Validation of User Interface SystemsBruno d Ausbourg. 242-260
- Specification and Verification of Media Constraints using UPAALHoward Bowman, Giorgio P. Faconti, Mieke Massink. 261-277
- Modelling Direct Manipulation Using Referent and StatechartsHallvard Trætteberg. 278-292
- Integrating Joint Behaviour and Dialogue DescriptionGavin J. Doherty, Michael D. Harrison. 293-308
- Discussion Topics for the DSV-IS 98 Working GroupsPanos Markopoulos, Peter Johnson. 309-311
- Working Group 1 ReportMichael D. Harrison. 312-315
- Working Group 2 ReportJon Rowson. 316-320
- Integrating Joint Behaviour and Dialogue DescriptionDavid A. Duce. 321-325