default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dsvis/dsvis1997.bht:"
download as .bib file
@inproceedings{DBLP:conf/dsvis/AccotCMP97,
author = {Johnny Accot and
St{\'{e}}phane Chatty and
S{\'{e}}bastien Maury and
Philippe A. Palanque},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Formal transducers: Models of devices and building bricks for the
design of highly interactive systems},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {143--159},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_10},
doi = {10.1007/978-3-7091-6878-3\_10},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/AccotCMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BlandfordBG97,
author = {Ann Blandford and
Richard Butterworth and
Jason Good},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Users as rational interacting agents: formalising assumptions about
cognition and interaction},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {45--60},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_4},
doi = {10.1007/978-3-7091-6878-3\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BlandfordBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Breedvelt-SchoutenPS97,
author = {Ilse M. Breedvelt{-}Schouten and
Fabio Patern{\`{o}} and
C. Severijns},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Reusable structures in task models},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {225--239},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_15},
doi = {10.1007/978-3-7091-6878-3\_15},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Breedvelt-SchoutenPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/ButterworthC97,
author = {Richard Butterworth and
D. John Cooke},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {On biasing behaviour to the optimal},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {291--306},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_19},
doi = {10.1007/978-3-7091-6878-3\_19},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/ButterworthC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/CamposH97,
author = {Jos{\'{e}} Creissac Campos and
Michael D. Harrison},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Formally verifying interactive systems: {A} review},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {109--124},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_8},
doi = {10.1007/978-3-7091-6878-3\_8},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/CamposH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Coutaz97,
author = {Jo{\"{e}}lle Coutaz},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {PAC-ing the architecture of your user interface},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {13--27},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_2},
doi = {10.1007/978-3-7091-6878-3\_2},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Coutaz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DiplasKP97,
author = {Costas N. Diplas and
Achilles Kameas and
Panayiotis E. Pintelas},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {The interactive specification workspace: Specifying and designing
the interaction issues of virtual reality training environments from
within},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {241--256},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_16},
doi = {10.1007/978-3-7091-6878-3\_16},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DiplasKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DohertyH97,
author = {Gavin J. Doherty and
Michael D. Harrison},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {A representational approach to the specification of presentations},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {273--290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_18},
doi = {10.1007/978-3-7091-6878-3\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DohertyH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/FacontiM97,
author = {Giorgio P. Faconti and
Mieke Massink},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Investigating the behaviour of {PREMO} synchronizable objects},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {125--141},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_9},
doi = {10.1007/978-3-7091-6878-3\_9},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/FacontiM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/FieldsM97,
author = {Robert E. Fields and
Nicholas A. Merriam},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Modelling in action},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {307--320},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_20},
doi = {10.1007/978-3-7091-6878-3\_20},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/FieldsM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/FieldsMD97,
author = {Robert E. Fields and
Nicholas A. Merriam and
Andrew M. Dearden},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {{DMVIS:} Design, Modelling and Validation of Interactive Systems},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {29--44},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_3},
doi = {10.1007/978-3-7091-6878-3\_3},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/FieldsMD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/GorganD97,
author = {Dorian Gorgan and
David A. Duce},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {The notion of trajectory in graphical user interfaces},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {257--272},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_17},
doi = {10.1007/978-3-7091-6878-3\_17},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/GorganD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Hall97,
author = {Anthony Hall},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Do interactive systems need specifications?},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {1--12},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_1},
doi = {10.1007/978-3-7091-6878-3\_1},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Hall97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/HillW97,
author = {Julia C. Hill and
Peter C. Wright},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {From text to Petri Nets: the difficulties of describing accident scenarios
formally},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {161--175},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_11},
doi = {10.1007/978-3-7091-6878-3\_11},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/HillW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MallonW97,
author = {Bride Mallon and
Brian Webb},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Evaluating narrative in multimedia},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {77--92},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_6},
doi = {10.1007/978-3-7091-6878-3\_6},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MallonW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MarkopoulosJR97,
author = {Panos Markopoulos and
Peter Johnson and
Jon Rowson},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Formal aspects of task based design},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {209--224},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_14},
doi = {10.1007/978-3-7091-6878-3\_14},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MarkopoulosJR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/RodriguezS97,
author = {Fernando Gamboa Rodr{\'{\i}}guez and
Dominique L. Scapin},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Editing MAD* task descriptions for specifying user interfaces, at
both semantic and presentation levels},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {193--208},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_13},
doi = {10.1007/978-3-7091-6878-3\_13},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/RodriguezS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SageJ97,
author = {Meurig Sage and
Chris W. Johnson},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Interactors and Haggis: Executable specifications for interactive
systems},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {93--108},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_7},
doi = {10.1007/978-3-7091-6878-3\_7},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SageJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SanzG97,
author = {Marcos F. Sanz and
Enrique J. G{\'{o}}mez},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Establishing a link between usability and utility: validation of a
task-based dialogue using a semantic prototype},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {61--76},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_5},
doi = {10.1007/978-3-7091-6878-3\_5},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SanzG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SavidisSA97,
author = {Anthony Savidis and
Constantine Stephanidis and
Demosthenes Akoumianakis},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Unifying toolkit programming layers: a multi-purpose toolkit integration
module},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {177--192},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_12},
doi = {10.1007/978-3-7091-6878-3\_12},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SavidisSA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/1997,
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3},
doi = {10.1007/978-3-7091-6878-3},
isbn = {3-211-83055-3},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-23 16:35 CEST from data curated 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:
