default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th DSV-IS 1998: Abingdon, United Kingdom
- Panos Markopoulos, Peter Johnson:
Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1. Eurographics, Springer 1998, ISBN 3-211-83212-2 - Dan R. Olsen:
Interacting in chaos. 1-8 - John C. 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 W. 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. DSV-IS 1998: 321-325
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
