DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
Conference Details
Year: 1998
Period: June 3-5
Location: Abingdon, United Kingdom
Publisher:
Springer
ISBN: 3-211-83212-2
Description
DSV-IS is now subsumed by the EICS conference - Engineering Interactive Computing Systems. DSV-IS provides a forum for researchers addressing the design and development of interactive systems. The workshop investigates the effective design, specification and verification of interactive systems, at all points in the software life cycle.
Other Years in Series
Other proceedings in the DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems series
Articles
Publications included in this conference proceedings
Olsen,
Dan R.
(1998):
Interacting in chaos.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 1-8.
Markopoulos,
Panos,
Papatzanis,
Giorgios,
Johnson,
Peter,
Rowson,
Jon
(1998):
Validating Semi-Formal Specifications of Interactors as Design Representations.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 102-116.
Jones,
Sara,
Sapford,
John
(1998):
The Role of Informal Representations in Early Design.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 117-133.
Sage,
Meurig,
Johnson,
Chris
(1998):
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Developme.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 134-154.
Campos,
José Creissac,
Harrison,
Michael D.
(1998):
The Role of Verification in Interactive Systems Design.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 155-170.
Bastide,
Remi,
Palanque,
Philippe A.,
Le,
Duc-Hoa,
Munoz,
Jaime
(1998):
Integrating Rendering Specifications into a Formalism for the Design of Interactive System.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 171-190.
Stirewalt,
Kurt,
Abowd,
Gregory D.
(1998):
Practical Dialogue Refinement.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 191-205.
Hussey,
Alfred,
Carrington,
David A.
(1998):
Which widgets? deriving implementations from user-interface specifications.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 206-224.
Fisher,
Markus
(1998):
A Framework for Generating Spatial Configurations in User Interfaces.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 225-241.
d\'Ausbourg,
Bruno
(1998):
Using Model Checking for the Automatic Validation of User Interface Systems.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 242-260.
Bowman,
Howard,
Faconti,
Giorgio P.,
Massink,
Mieke
(1998):
Specification and Verification of Media Constraints using UPAAL.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 261-277.
Traetteberg,
Hallvard
(1998):
Modelling Direct Manipulation Using Referent and Statecharts.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 278-292.
Doherty,
Gavin,
Harrison,
Michael D.
(1998):
Integrating Joint Behaviour and Dialogue Description.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 293-308.
Markopoulos,
Panos,
Johnson,
Peter
(1998):
Discussion Topics for the DSV-IS\'98 Working Groups.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 309-311.
Harrison,
Michael D.
(1998):
Working Group 1 Report.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 312-315.
Rowson,
Jon
(1998):
Working Group 2 Report.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 316-320.
Duce,
David A.
(1998):
Integrating Joint Behaviour and Dialogue Description.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 321-325.
Fields,
Robert E.,
Merriam,
Nicholas A.
(1998):
Inference and Information Resources: A Design Case Study.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 41-56.
Welie,
Martijn van,
Veer,
Gerrit van der,
Eliens,
Anton
(1998):
An Ontology for Task World Models.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 57-70.
Paterno,
Fabio,
Santoro,
Carmen,
Tahmassebi,
Sophie
(1998):
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic .
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 71-86.
Butterworth,
Richard,
Blandford,
Ann
(1998):
The Role of Formal Proof in Modelling Interactive Behaviour.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 87-101.
McCarthy,
John
(1998):
The viability of modelling socially organised activity.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 9-23.