DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
Conference Details
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
Hall,
Anthony
(1997):
Do interactive systems need specifications?.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 1-12.
Campos,
José Creissac,
Harrison,
Michael D.
(1997):
Formally verifying interactive systems: A review.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 109-124.
Faconti,
Giorgio P.,
Massink,
Mieke
(1997):
Investigating the behaviour of PREMO synchronizable objects.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 125-141.
Coutaz,
Joëlle
(1997):
PAC-ing the architecture of your user interface.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 13-27.
Accot,
Johnny,
Chatty,
Stephane,
Maury,
Sébastien,
Palanque,
Philippe A.
(1997):
Formal transducers: Models of devices and building bricks for the design of highly interac.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 143-159.
Hill,
J. C.,
Wright,
P. C.
(1997):
From text to Petri Nets: the difficulties of describing accident scenarios formally.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 161-175.
Savidis,
Anthony,
Stephanidis,
Constantine,
Akoumianakis,
Demosthenes
(1997):
Unifying toolkit programming layers: a multi-purpose toolkit integration module.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 177-192.
Rodríguez,
Fernando Gamboa,
Scapin,
Dominique L.
(1997):
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presen.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 193-208.
Markopoulos,
Panos,
Johnson,
Peter,
Rowson,
Jon
(1997):
Formal aspects of task based design.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 209-224.
Breedvelt-Schouten,
Ilse M.,
Paterno,
Fabio,
Severijns,
C.
(1997):
Reusable structures in task models.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 225-239.
Diplas,
C. N.,
Kameas,
Achilles,
Pintelas,
Panayiotis E.
(1997):
The interactive specification workspace: Specifying and designing the interaction issues o.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 241-256.
Gorgan,
Dorian,
Duce,
David A.
(1997):
The notion of trajectory in graphical user interfaces.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 257-272.
Doherty,
Gavin,
Harrison,
Michael D.
(1997):
A representational approach to the specification of presentations.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 273-290.
Fields,
Robert E.,
Merriam,
Nicholas A.,
Dearden,
Andrew M.
(1997):
DMVIS: Design, Modelling and Validation of Interactive Systems.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 29-44.
Butterworth,
Richard,
Cooke,
D. J.
(1997):
On biasing behaviour to the optimal.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 291-306.
Fields,
Robert E.,
Merriam,
Nicholas A.
(1997):
Modelling in action.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 307-320.
Blandford,
Ann,
Butterworth,
Richard,
Good,
Jason
(1997):
Users as rational interacting agents: formalising assumptions about cognition and interact.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 45-60.
Sanz,
Marcos F.,
Gómez,
Enrique J.
(1997):
Establishing a link between usability and utility: validation of a task-based dialogue usi.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 61-76.
Mallon,
Bride,
Webb,
Brian
(1997):
Evaluating narrative in multimedia.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 77-92.
Sage,
Meurig,
Johnson,
Chris
(1997):
Interactors and Haggis: Executable specifications for interactive systems.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 93-108.