Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns |
An Ontology for Task World Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 57-70, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Markus Fisher |
A Framework for Generating Spatial Configurations in User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 225-241, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Paternò, Carmen Santoro, Sophie Tahmassebi |
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 71-86, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Panos Markopoulos 0001, Giorgios Papatzanis, Peter Johnson 0001, Jon Rowson |
Validating Semi-Formal Specifications of Interactors as Design Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 102-116, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard Butterworth, Ann Blandford |
The Role of Formal Proof in Modelling Interactive Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 87-101, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Hussey, David A. Carrington |
Which widgets? deriving implementations from user-interface specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 206-224, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman, Giorgio P. Faconti, Mieke Massink |
Specification and Verification of Media Constraints using UPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1, pp. 261-277, 1998, Springer, 3-211-83212-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio P. Faconti, Mieke Massink |
Investigating the behaviour of PREMO synchronizable objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 125-141, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marcos F. Sanz, Enrique J. Gómez |
Establishing a link between usability and utility: validation of a task-based dialogue using a semantic prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 61-76, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ann Blandford, Richard Butterworth, Jason Good |
Users as rational interacting agents: formalising assumptions about cognition and interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 45-60, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Gamboa Rodríguez, Dominique L. Scapin |
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 193-208, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard Butterworth, D. John Cooke |
On biasing behaviour to the optimal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 291-306, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Costas N. Diplas, Achilles Kameas, Panayiotis E. Pintelas |
The interactive specification workspace: Specifying and designing the interaction issues of virtual reality training environments from within. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 241-256, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Joëlle Coutaz |
PAC-ing the architecture of your user interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 13-27, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dorian Gorgan, David A. Duce |
The notion of trajectory in graphical user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 257-272, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe A. Palanque |
Formal transducers: Models of devices and building bricks for the design of highly interactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 143-159, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Fields, Nicholas A. Merriam, Andrew M. Dearden |
DMVIS: Design, Modelling and Validation of Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 29-44, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis |
Unifying toolkit programming layers: a multi-purpose toolkit integration module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 177-192, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Fields, Nicholas A. Merriam |
Modelling in action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 307-320, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Harrison, Juan Carlos Torres 0001 (eds.) |
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![Springer, 3-211-83055-3 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ilse M. Breedvelt-Schouten, Fabio Paternò, C. Severijns |
Reusable structures in task models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 225-239, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gavin J. Doherty, Michael D. Harrison |
A representational approach to the specification of presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 273-290, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Meurig Sage, Chris W. Johnson 0001 |
Interactors and Haggis: Executable specifications for interactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 93-108, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Panos Markopoulos 0001, Peter Johnson 0001, Jon Rowson |
Formal aspects of task based design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 209-224, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Julia C. Hill, Peter C. Wright |
From text to Petri Nets: the difficulties of describing accident scenarios formally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 161-175, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | José Creissac Campos, Michael D. Harrison |
Formally verifying interactive systems: A review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 109-124, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hall |
Do interactive systems need specifications? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 1-12, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bride Mallon, Brian Webb |
Evaluating narrative in multimedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, pp. 77-92, 1997, Springer, 3-211-83055-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
The Evaluation of User Interface Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 188-206, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001, Philip D. Gray |
Supporting Error-Driven Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 207-228, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Véronique De Keyser, Denis Javaux |
Human Factors in Aeronautics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 28-45, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio P. Faconti, David J. Duke |
Device Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 73-91, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pedro A. Szekely |
Retrospective and Challenges for Model-Based Interface Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 1-27, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Baudouin Le Charlier |
Abstract Interpretation and Application to Interactive System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 46-72, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Juan Carlos Torres 0001, Miguel Gea, Francisco Luis Gutiérrez Vela, Miguel Cabrera, María Luisa Rodríguez 0001 |
GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 272-291, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Dearden, Michael D. Harrison |
Risk Analysis, Impact and Interaction Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 229-247, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
Validating Properties of Component-based Graphical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 347-365, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David A. Carr |
Toward More Understandable User Interface Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 141-161, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | François Bodart, Jean Vanderdonckt (eds.) |
Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![Springer, 3-211-82900-8 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves |
Specifying and Reasoning About CSCW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 366-391, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Demosthenes Akoumianakis, Anthony Savidis, Constantine Stephanidis |
Design Assistance for User-Adapted Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 248-271, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Johnny Accot, Stéphane Chatty, Philippe A. Palanque |
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 92-104, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas A. Merriam, Michael D. Harrison |
Evaluating the Interfaces of Three Theorem Proving Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 330-346, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. K. Hyde, David J. Duke |
Fusion Engines and Melting Pots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 292-311, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque |
Monolingual, Articulated Modeling of Users, Devices, and Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 312-329, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bruno d'Ausbourg, Guy Durrieu, Pierre Roché |
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 105-122, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte |
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 162-187, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Szwillus, Klaus Kespohl |
Prototyping Device Interfaces with DSN/2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium, pp. 123-140, 1996, Springer, 3-211-82900-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Olsen |
Interacting with Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 27-34, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David J. Duke, Michael D. Harrison |
Interaction and Task Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 54-75, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Niels Ole Bernsen, S. Lu |
A Software Demonstrator of Modality Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 242-261, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Formal Specification Techniques for Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 21-26, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe A. Palanque, Rémi Bastide (eds.) |
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![Springer, 3-211-82739-0 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Bauer |
Proving the Correctness of Formal User Interface Specifications . ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 224-241, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark Green |
The Design of Narrative Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 279-293, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philip D. Gray, Chris W. Johnson 0001 |
Requirements for the Next Generation of User Interface Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 113-133, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Harrison |
Reports from Working Groups: Role of Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 342-344, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Paternò, M. S. Sciacchitano, Jonas Löwgren |
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 35-53, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christopher John Bramwell, Bob Fields, Michael D. Harrison |
Exploring Design Options Rationally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 134-148, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
Combining Formal Techniques and Prototyping in User Interface Construction and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 174-192, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
Reports from Working Groups: The Challenge of Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 345-357, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 93-112, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alan J. Dix |
Moving between Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 149-173, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Isabelle Provot, Benoît Sacré, Jean Vanderdonckt |
Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 262-278, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Elwert, Egbert Schlungbaum |
Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 193-208, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Panos Markopoulos 0001 |
On the Expression of Interaction Properties within an Interactor Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 294-310, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas G. Moher |
Reports from Working Groups: User and Task Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 358-361, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | James Middlemass, Adam Stork, John Long |
Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 311-328, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Roger Kenton Took |
A Formal Design for Mutually Composed Multiple Media in Presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 329-341, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas G. Moher, Victor Dirda |
Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 76-92, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Reports from Working Groups: Towards a Taxonomy for Interactive Graphics Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 362-370, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David A. Duce, David J. Duke |
Interaction, Cognition and Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 1-20, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rauterberg |
Four Different Measures to Quantify Three Usability Attributes: 'Feedback', 'Interface Directeness' and 'Flexibility'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995, pp. 209-223, 1995, Springer, 3-211-82739-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David J. Duke, Michael D. Harrison |
Folding Human Factors into Rigorous Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 333-347, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Piyawadee Noi Sukaviriya, Jeyakumar Muthukumarasamy, Martin R. Frank, James D. Foley |
A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 181-197, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Chris R. Roast, Michael D. Harrison |
User Centred System Modelling using the Template Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 401-412, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | James D. Foley, Piyawadee Noi Sukaviriya |
History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 3-14, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Fabio Paternò, Ales Leonardi, S. Pangoli |
A Tool-supported Approach to the Refinement of Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 149-159, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Alan J. Dix |
LADA - a logic for the Analysis of Distributed Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 317-332, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | François Bodart, Anne-Marie Hennebert, Isabelle Provot, Jean-Marie Leheureux, Jean Vanderdonckt |
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 77-94, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Hans de Bruin, Peter Bouwman, Jan van den Bos |
Modeling and Analyzing Human-Computer Dialogues with Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 95-116, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Michael D. Harrison, Ann Blandford, Philip J. Barnard |
Modelling Interactive Systems and Providing Task Relevant Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 267-277, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Siegfried Schreiber |
The BOSS-System: Coupling Visual Programming with Model Based Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 161-179, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Mark van Harmelen |
Object-Oriented Modelling and Specification for User Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 199-231, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Philip J. Barnard, Jon May |
Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 15-49, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | David A. Duce |
Working Group Discussions: Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 51-55, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Andrew M. Dearden, Michael D. Harrison |
Modelling Interaction Properties for Interactive Case Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 301-316, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Roger Kenton Took |
Understanding Direct Manipulation Interaction Algebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 413-428, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Bob Fields, Michael D. Harrison, Peter C. Wright |
Modelling Interactive Systems and Providing Task Relevant Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 253-266, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Giorgio P. Faconti, Angelo Fornari, Nicola Zani |
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 349-367, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Juan Carlos Torres 0001, Buenaventura Clares Rodríguez |
Understanding Direct Manipulation Interaction Algebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 429-444, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Philippe A. Palanque, Rémi Bastide |
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 383-400, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Michael D. Harrison |
Working Group Discussions: Role of Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 57-60, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ales Limpouch |
Grammar-based Formal Specification for the Object-Oriented User Interface Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 369-382, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Niels Ole Bernsen |
Why are Analogue Graphics and Natural Language both Needed in HCI? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 235-251, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | William D. Hurley |
Bridging the Gap from Conceptual Design to Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 117-127, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Piyawadee Noi Sukaviriya |
Working Group Discussions: Role of Development Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 61-73, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Fabio Paternò (eds.) |
Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![Springer, 3-540-59480-9 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | H. Rex Hartson, Kevin A. Mayo |
A Framework for Precise, Reusable Task Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 279-297, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ping Luo |
A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy, pp. 129-147, 1994, Springer, 3-540-59480-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|