Working Group 2 Report (English)
- New search for: Rowson, J.
- New search for: Eurographics Association
- New search for: Rowson, J.
- New search for: Markapoulos, P.
- New search for: Johnson, P.
- New search for: Eurographics Association
In:
Design, specification and verification of interactive systems
;
316-319
;
1998
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Working Group 2 Report
-
Contributors:
-
Conference:Eurographics workshop; 4th, Design, specification and verification of interactive systems ; 1998 ; Abingdon
-
Published in:
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Wien
-
Publication date:1998-01-01
-
Size:4 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Interacting in ChaosOlsen, D. / Eurographics Association et al. | 1998
- 9
-
The Viability of Modelling Socially Organised ActivityMcCarthy, J. C. / Eurographics Association et al. | 1998
- 24
-
Deriving Business Object Definitions from User Work Process ModelsButler, K. / Esposito, C. / Hebron, R. / Eurographics Association et al. | 1998
- 41
-
Inference and Information Resources: A Design Case StudyFields, R. E. / Merriam, N. A. / Eurographics Association et al. | 1998
- 57
-
An Ontology for Task World ModelsVan Welie, M. / Van der Veer, G. C. / Elieens, A. / Eurographics Association et al. | 1998
- 71
-
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic ControlPaterno, F. / Santoro, C. / Tahmassebi, S. / Eurographics Association et al. | 1998
- 87
-
The Role of Formal Proof in Modelling Interactive BehaviourButterworth, R. / Blandford, A. / Duke, D. / Eurographics Association et al. | 1998
- 102
-
Validating Semi-Formal Specifications of Interactors as Design RepresentationsMarkopoulos, P. / Papatzanis, G. / Johnson, P. / Rowson, J. / Eurographics Association et al. | 1998
- 117
-
The Role of Informal Representations in Early DesignJones, S. / Sapsford, J. / Eurographics Association et al. | 1998
- 134
-
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development CycleSage, M. / Johnson, C. / Eurographics Association et al. | 1998
- 155
-
The Role of Verification in Interactive Systems DesignCampos, J. C. / Harrison, M. D. / Eurographics Association et al. | 1998
- 171
-
Integrating Rendering Specifications into a Formalism for the Design of Interactive SystemsBastide, R. / Palanque, P. / Le, D.-H. / Mu�oz, J. / Eurographics Association et al. | 1998
- 191
-
Practical Dialogue RefinementStirewalt, K. R. E. / Abowd, G. D. / Eurographics Association et al. | 1998
- 206
-
Which Widgets? Deriving Implementations from User-Interface SpecificationsHussey, A. / Carrington, D. / Eurographics Association et al. | 1998
- 225
-
A Framework for Generating Spatial Configurations in User InterfacesFischer, M. / Eurographics Association et al. | 1998
- 242
-
Using Model Checking for the Automatic Validation of User Interfaces SystemsD'Ausbourg, B. / Eurographics Association et al. | 1998
- 261
-
Specification and Verification of Media Constraints using UPPAALBowman, H. / Faconti, G. P. / Massink, M. / Eurographics Association et al. | 1998
- 278
-
Modelling Direct Manipulation with Referent and StatechartsTraetteberg, H. / Eurographics Association et al. | 1998
- 293
-
Integrating Joint Behaviour and Dialogue DescriptionDoherty, G. / Harrison, M. D. / Eurographics Association et al. | 1998
- 309
-
Discussion Topics for the DSV-IS'98 Working GroupsMarkopoulos, P. / Johnson, P. / Eurographics Association et al. | 1998
- 312
-
Working Group 1 ReportHarrison, M. D. / Eurographics Association et al. | 1998
- 316
-
Working Group 2 ReportRowson, J. / Eurographics Association et al. | 1998
- 320
-
Working Group 3 ReportDuce, D. / Eurographics Association et al. | 1998