Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dsvis/dsvis2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/dsvis/AraujoCJ03,
author = {Bruno Rodrigues De Ara{\'{u}}jo and
Andr{\'{e}} M. C. Campos and
Joaquim A. Jorge},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {{MIKE:} {A} Multimodal Cinematographic Editor for Virtual Worlds},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {415--419},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_30},
doi = {10.1007/978-3-540-39929-2\_30},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/AraujoCJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BarbosaP03,
author = {Simone Diniz Junqueira Barbosa and
Ma{\'{\i}}ra Greco de Paula},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Designing and Evaluating Interaction as Conversation: {A} Modeling
Language Based on Semiotic Engineering},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {16--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_2},
doi = {10.1007/978-3-540-39929-2\_2},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BarbosaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BertiP03,
author = {Silvia Berti and
Fabio Patern{\`{o}}},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Model-Based Design of Speech Interfaces},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {231--244},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_16},
doi = {10.1007/978-3-540-39929-2\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BertiP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/CamposD03,
author = {Jos{\'{e}} Creissac Campos and
Gavin J. Doherty},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Reasoning about Dynamic Information Displays},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {288--302},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_20},
doi = {10.1007/978-3-540-39929-2\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsvis/CamposD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/ChristouJ03,
author = {Georgios Christou and
Robert J. K. Jacob},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Evaluating and Comparing Interaction Styles},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {406--409},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_28},
doi = {10.1007/978-3-540-39929-2\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/ChristouJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Constantine03,
author = {Larry L. Constantine},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Canonical Abstract Prototypes for Abstract Visual and Interaction},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {1--15},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_1},
doi = {10.1007/978-3-540-39929-2\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Constantine03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Courtney03,
author = {Antony Courtney},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Functionally Modeled User Interfaces},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {107--123},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_8},
doi = {10.1007/978-3-540-39929-2\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Courtney03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Creissac03,
author = {Jos{\'{e}} Creissac Campos},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Using Task Knowledge to Guide Interactor Specifications Analysis},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {171--186},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_12},
doi = {10.1007/978-3-540-39929-2\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsvis/Creissac03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/CrowleH03,
author = {Simon Crowle and
Linda Hole},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {{ISML:} An Interface Specification Meta-language},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {362--376},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_25},
doi = {10.1007/978-3-540-39929-2\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/CrowleH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DeliyannisHW03,
author = {Ioannis Deliyannis and
J. Harvey and
Mike F. Webster},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Multimedia Environments and Interactive Scientific Presentation of
Industrially-Based Data Sets},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {424--428},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_32},
doi = {10.1007/978-3-540-39929-2\_32},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DeliyannisHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DittmarF03,
author = {Anke Dittmar and
Peter Forbrig},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Higher-Order Task Models},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {187--202},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_13},
doi = {10.1007/978-3-540-39929-2\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DittmarF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/FantinatoJ03,
author = {Marcelo Fantinato and
M{\'{a}}rio Jino},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Applying Extended Finite State Machines in Software Testing of Interactive
Systems},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {34--45},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_3},
doi = {10.1007/978-3-540-39929-2\_3},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsvis/FantinatoJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/GoncalvesJ03,
author = {Daniel Gon{\c{c}}alves and
Joaquim A. Jorge},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {An Empirical Study of Personal Document Spaces},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {46--60},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_4},
doi = {10.1007/978-3-540-39929-2\_4},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/GoncalvesJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/GoranssonLG03,
author = {Bengt G{\"{o}}ransson and
Magnus Lif and
Jan Gulliksen},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Usability Design - Extending Rational Unified Process with a New Discipline},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {316--330},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_22},
doi = {10.1007/978-3-540-39929-2\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/GoranssonLG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/JabarinG03,
author = {Baha Jabarin and
T. C. Nicholas Graham},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Architectures for Widget-Level Plasticity},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {124--138},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_9},
doi = {10.1007/978-3-540-39929-2\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/JabarinG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Lopez-JaqueroMMFG03,
author = {V{\'{\i}}ctor L{\'{o}}pez{-}Jaquero and
Francisco Montero Simarro and
Jos{\'{e}} Pascual Molina and
Antonio Fern{\'{a}}ndez{-}Caballero and
Pascual Gonz{\'{a}}lez},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Model-Based Design of Adaptive User Interfaces through Connectors},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {245--257},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_17},
doi = {10.1007/978-3-540-39929-2\_17},
timestamp = {Sat, 10 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Lopez-JaqueroMMFG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/LuytenCCV03,
author = {Kris Luyten and
Tim Clerckx and
Karin Coninx and
Jean Vanderdonckt},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Derivation of a Dialog Model from a Task Model by Activity Chain Extraction},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {203--217},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_14},
doi = {10.1007/978-3-540-39929-2\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/LuytenCCV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MartinP03,
author = {Christian M{\"{a}}rtin and
Bernhard Prell},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Contextual Design of a Computer-Supported Film Set: {A} Case Study},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {392--405},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_27},
doi = {10.1007/978-3-540-39929-2\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MartinP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MitrovicM03,
author = {Nikola Mitrovic and
Eduardo Mena},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Improving User Interface Usability Using Mobile Agents},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {273--287},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_19},
doi = {10.1007/978-3-540-39929-2\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MitrovicM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MolinaBP03,
author = {Pedro J. Molina and
Jorge Belenguer and
Oscar Pastor},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Describing Just-UI Concepts Using a Task Notation},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {218--230},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_15},
doi = {10.1007/978-3-540-39929-2\_15},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsvis/MolinaBP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MolinaGLML03,
author = {Jos{\'{e}} Pascual Molina and
Pascual Gonz{\'{a}}lez and
Mar{\'{\i}}a Dolores Lozano and
Francisco Montero Simarro and
V{\'{\i}}ctor L{\'{o}}pez{-}Jaquero},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Bridging the Gap: Developing 2D and 3D User Interfaces with the {IDEAS}
Methodology},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {303--315},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_21},
doi = {10.1007/978-3-540-39929-2\_21},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsvis/MolinaGLML03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MonteroLMG03,
author = {Francisco Montero Simarro and
V{\'{\i}}ctor L{\'{o}}pez{-}Jaquero and
Jos{\'{e}} Pascual Molina and
Pascual Gonz{\'{a}}lez},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {An Approach to Develop User Interfaces with Plasticity},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {420--423},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_31},
doi = {10.1007/978-3-540-39929-2\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MonteroLMG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/OertelH03,
author = {Karina Oertel and
Oliver Hein},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Identification of Web Usability Problems and Interaction Patterns
with the RealEYES-iAnalyzer},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {77--91},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_6},
doi = {10.1007/978-3-540-39929-2\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/OertelH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PaivaFV03,
author = {Ana C. R. Paiva and
Jo{\~{a}}o C. P. Faria and
Raul F. A. M. Vidal},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Specification-Based Testing of User Interfaces},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {139--153},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_10},
doi = {10.1007/978-3-540-39929-2\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PaivaFV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PatricioCFN03,
author = {Lia Patr{\'{\i}}cio and
Jo{\~{a}}o Falc{\~{a}}o e Cunha and
Raymond P. Fisk and
Nuno Jardim Nunes},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Addressing Marketing Requirements in User-Interface Design for Multiple
Platforms},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {331--345},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_23},
doi = {10.1007/978-3-540-39929-2\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PatricioCFN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PereiraJBF03,
author = {Jo{\~{a}}o Paulo Pereira and
Joaquim A. Jorge and
Vasco A. Branco and
Fernando Nunes Ferreira},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Calligraphic Interfaces: Mixed Metaphors for Design},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {154--170},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_11},
doi = {10.1007/978-3-540-39929-2\_11},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PereiraJBF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PhillipsG03,
author = {W. Greg Phillips and
T. C. Nicholas Graham},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Workspaces: {A} Multi-level Architectural Style for Synchronous Groupware},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {92--106},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_7},
doi = {10.1007/978-3-540-39929-2\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PhillipsG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SantosC03,
author = {Carlos Santos and
Nuno Correia},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {A Navigation and Registration System for Mobile and Augmented Environments},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {410--414},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_29},
doi = {10.1007/978-3-540-39929-2\_29},
timestamp = {Thu, 06 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SantosC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SouchonV03,
author = {Nathalie Souchon and
Jean Vanderdonckt},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {A Review of XML-compliant User Interface Description Languages},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {377--391},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_26},
doi = {10.1007/978-3-540-39929-2\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SouchonV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/StaryS03,
author = {Christian Stary and
Simone Stoiber},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Model-Based Electronic Performance Support},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {258--272},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_18},
doi = {10.1007/978-3-540-39929-2\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/StaryS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Traetteberg03,
author = {Hallvard Tr{\ae}tteberg},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Dialog Modelling with Interactors and {UML} Statecharts - {A} Hybrid
Approach},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {346--361},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_24},
doi = {10.1007/978-3-540-39929-2\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Traetteberg03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/WincklerP03,
author = {Marco Winckler and
Philippe A. Palanque},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {StateWebCharts: {A} Formal Description Technique Dedicated to Navigation
Modelling of Web Applications},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {61--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_5},
doi = {10.1007/978-3-540-39929-2\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/WincklerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/2003,
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13960},
doi = {10.1007/B13960},
isbn = {3-540-20159-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-27 18:50 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:
