default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dsvis/dsvis1995.bht:"
download as .bib file
@inproceedings{DBLP:conf/dsvis/Bauer95,
author = {Bernhard Bauer},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Proving the Correctness of Formal User Interface Specifications},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {224--241},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_14},
doi = {10.1007/978-3-7091-9437-9\_14},
timestamp = {Mon, 24 Jun 2019 15:47:45 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Bauer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BernsenL95,
author = {Niels Ole Bernsen and
S. Lu},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {A Software Demonstrator of Modality Theory},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {242--261},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_15},
doi = {10.1007/978-3-7091-9437-9\_15},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BernsenL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BodartHLPSV95,
author = {Fran{\c{c}}ois Bodart and
Anne{-}Marie Hennebert and
Jean{-}Marie Leheureux and
Isabelle Provot and
Beno{\^{\i}}t Sacr{\'{e}} and
Jean Vanderdonckt},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Towards a Systematic Building of Software Architectures: the {TRIDENT}
Methodological Guide},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {262--278},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_16},
doi = {10.1007/978-3-7091-9437-9\_16},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BodartHLPSV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BramwellFH95,
author = {Christopher John Bramwell and
Bob Fields and
Michael D. Harrison},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Exploring Design Options Rationally},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {134--148},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_9},
doi = {10.1007/978-3-7091-9437-9\_9},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BramwellFH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BumbulisACL95,
author = {Peter Bumbulis and
Paulo S. C. Alencar and
Donald D. Cowan and
Carlos Jos{\'{e}} Pereira de Lucena},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Combining Formal Techniques and Prototyping in User Interface Construction
and Verification},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {174--192},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_11},
doi = {10.1007/978-3-7091-9437-9\_11},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BumbulisACL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Dix95,
author = {Alan J. Dix},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Moving between Contexts},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {149--173},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_10},
doi = {10.1007/978-3-7091-9437-9\_10},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Dix95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DuceD95,
author = {David A. Duce and
David J. Duke},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Interaction, Cognition and Visualization},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {1--20},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_1},
doi = {10.1007/978-3-7091-9437-9\_1},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DuceD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DukeH95,
author = {David J. Duke and
Michael D. Harrison},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Interaction and Task Requirements},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {54--75},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_5},
doi = {10.1007/978-3-7091-9437-9\_5},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DukeH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/ElwertS95,
author = {Thomas Elwert and
Egbert Schlungbaum},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Modelling and Generation of Graphical User Interfaces in the {TADEUS}
Approach},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {193--208},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_12},
doi = {10.1007/978-3-7091-9437-9\_12},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/ElwertS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Gaudel95,
author = {Marie{-}Claude Gaudel},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Formal Specification Techniques for Interactive Systems},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {21--26},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_2},
doi = {10.1007/978-3-7091-9437-9\_2},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Gaudel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/GrayJ95,
author = {Philip D. Gray and
Chris W. Johnson},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Requirements for the Next Generation of User Interface Specification
Languages},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {113--133},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_8},
doi = {10.1007/978-3-7091-9437-9\_8},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/GrayJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Green95,
author = {Mark Green},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {The Design of Narrative Virtual Environments},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {279--293},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_17},
doi = {10.1007/978-3-7091-9437-9\_17},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Green95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Harrison95,
author = {Michael D. Harrison},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Reports from Working Groups: Role of Verification},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {342--344},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_21},
doi = {10.1007/978-3-7091-9437-9\_21},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Harrison95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Johnson95,
author = {Chris W. Johnson},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {The Application of Petri Nets to Represent and Reason about Human
Factors Problems during Accident Analyses},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {93--112},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_7},
doi = {10.1007/978-3-7091-9437-9\_7},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Johnson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Johnson95a,
author = {Chris W. Johnson},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Reports from Working Groups: The Challenge of Time},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {345--357},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_22},
doi = {10.1007/978-3-7091-9437-9\_22},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Johnson95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Markopoulos95,
author = {Panos Markopoulos},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {On the Expression of Interaction Properties within an Interactor Model},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {294--310},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_18},
doi = {10.1007/978-3-7091-9437-9\_18},
timestamp = {Mon, 05 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Markopoulos95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MiddlemassSL95,
author = {James Middlemass and
Adam Stork and
John Long},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Applying a Structured Method for Usability Engineering To Recreational
Facilities Booking User Requirements: {A} Successful Case Study},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {311--328},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_19},
doi = {10.1007/978-3-7091-9437-9\_19},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MiddlemassSL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Moher95,
author = {Thomas G. Moher},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Reports from Working Groups: User and Task Modelling},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {358--361},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_23},
doi = {10.1007/978-3-7091-9437-9\_23},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Moher95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MoherD95,
author = {Thomas G. Moher and
Victor Dirda},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Revising Mental Models to Accomodate Expectation Failures in Human-Computer
Dialogues},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {76--92},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_6},
doi = {10.1007/978-3-7091-9437-9\_6},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MoherD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Olsen95,
author = {Dan R. Olsen},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Interacting with Information},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {27--34},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_3},
doi = {10.1007/978-3-7091-9437-9\_3},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Olsen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PaternoSL95,
author = {Fabio Patern{\`{o}} and
M. S. Sciacchitano and
Jonas L{\"{o}}wgren},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {A User Interface Evaluation Mapping Physical User Actions to Task-Driven
Formal Specifications},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {35--53},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_4},
doi = {10.1007/978-3-7091-9437-9\_4},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PaternoSL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Rauterberg95,
author = {Matthias Rauterberg},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Four Different Measures to Quantify Three Usability Attributes: 'Feedback',
'Interface Directeness' and 'Flexibility'},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {209--223},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_13},
doi = {10.1007/978-3-7091-9437-9\_13},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Rauterberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Took95,
author = {Roger Kenton Took},
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {A Formal Design for Mutually Composed Multiple Media in Presentations},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {329--341},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_20},
doi = {10.1007/978-3-7091-9437-9\_20},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Took95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/X95,
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Reports from Working Groups: Towards a Taxonomy for Interactive Graphics
Systems},
booktitle = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
pages = {362--370},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9\_24},
doi = {10.1007/978-3-7091-9437-9\_24},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/X95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/1995,
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9},
doi = {10.1007/978-3-7091-9437-9},
isbn = {3-211-82739-0},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/1995.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-12-02 17:58 CET 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:
