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. |
DSV-IS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Markus Fisher |
A Framework for Generating Spatial Configurations in User Interfaces. |
DSV-IS |
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. |
DSV-IS |
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. |
DSV-IS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard Butterworth, Ann Blandford |
The Role of Formal Proof in Modelling Interactive Behaviour. |
DSV-IS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Hussey, David A. Carrington |
Which widgets? deriving implementations from user-interface specifications. |
DSV-IS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman, Giorgio P. Faconti, Mieke Massink |
Specification and Verification of Media Constraints using UPAAL. |
DSV-IS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio P. Faconti, Mieke Massink |
Investigating the behaviour of PREMO synchronizable objects. |
DSV-IS |
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. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ann Blandford, Richard Butterworth, Jason Good |
Users as rational interacting agents: formalising assumptions about cognition and interaction. |
DSV-IS |
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. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard Butterworth, D. John Cooke |
On biasing behaviour to the optimal. |
DSV-IS |
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. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Joëlle Coutaz |
PAC-ing the architecture of your user interface. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dorian Gorgan, David A. Duce |
The notion of trajectory in graphical user interfaces. |
DSV-IS |
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. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Fields, Nicholas A. Merriam, Andrew M. Dearden |
DMVIS: Design, Modelling and Validation of Interactive Systems. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis |
Unifying toolkit programming layers: a multi-purpose toolkit integration module. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Fields, Nicholas A. Merriam |
Modelling in action. |
DSV-IS |
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 |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ilse M. Breedvelt-Schouten, Fabio Paternò, C. Severijns |
Reusable structures in task models. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gavin J. Doherty, Michael D. Harrison |
A representational approach to the specification of presentations. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Meurig Sage, Chris W. Johnson 0001 |
Interactors and Haggis: Executable specifications for interactive systems. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Panos Markopoulos 0001, Peter Johnson 0001, Jon Rowson |
Formal aspects of task based design. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Julia C. Hill, Peter C. Wright |
From text to Petri Nets: the difficulties of describing accident scenarios formally. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | José Creissac Campos, Michael D. Harrison |
Formally verifying interactive systems: A review. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hall |
Do interactive systems need specifications? |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bride Mallon, Brian Webb |
Evaluating narrative in multimedia. |
DSV-IS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
The Evaluation of User Interface Notations. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001, Philip D. Gray |
Supporting Error-Driven Design. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Véronique De Keyser, Denis Javaux |
Human Factors in Aeronautics. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio P. Faconti, David J. Duke |
Device Models. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pedro A. Szekely |
Retrospective and Challenges for Model-Based Interface Development. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Baudouin Le Charlier |
Abstract Interpretation and Application to Interactive System Verification. |
DSV-IS |
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. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Dearden, Michael D. Harrison |
Risk Analysis, Impact and Interaction Modelling. |
DSV-IS |
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. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David A. Carr |
Toward More Understandable User Interface Specifications. |
DSV-IS |
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 |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves |
Specifying and Reasoning About CSCW. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Demosthenes Akoumianakis, Anthony Savidis, Constantine Stephanidis |
Design Assistance for User-Adapted Interaction. |
DSV-IS |
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. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas A. Merriam, Michael D. Harrison |
Evaluating the Interfaces of Three Theorem Proving Assistants. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. K. Hyde, David J. Duke |
Fusion Engines and Melting Pots. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque |
Monolingual, Articulated Modeling of Users, Devices, and Interfaces. |
DSV-IS |
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. |
DSV-IS |
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. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Szwillus, Klaus Kespohl |
Prototyping Device Interfaces with DSN/2. |
DSV-IS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Olsen |
Interacting with Information. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David J. Duke, Michael D. Harrison |
Interaction and Task Requirements. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Niels Ole Bernsen, S. Lu |
A Software Demonstrator of Modality Theory. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Formal Specification Techniques for Interactive Systems. |
DSV-IS |
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 |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Bauer |
Proving the Correctness of Formal User Interface Specifications . |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark Green |
The Design of Narrative Virtual Environments. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philip D. Gray, Chris W. Johnson 0001 |
Requirements for the Next Generation of User Interface Specification Languages. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Harrison |
Reports from Working Groups: Role of Verification. |
DSV-IS |
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. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christopher John Bramwell, Bob Fields, Michael D. Harrison |
Exploring Design Options Rationally. |
DSV-IS |
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. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
Reports from Working Groups: The Challenge of Time. |
DSV-IS |
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. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alan J. Dix |
Moving between Contexts. |
DSV-IS |
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. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Elwert, Egbert Schlungbaum |
Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Panos Markopoulos 0001 |
On the Expression of Interaction Properties within an Interactor Model. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas G. Moher |
Reports from Working Groups: User and Task Modelling. |
DSV-IS |
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. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Roger Kenton Took |
A Formal Design for Mutually Composed Multiple Media in Presentations. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas G. Moher, Victor Dirda |
Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Reports from Working Groups: Towards a Taxonomy for Interactive Graphics Systems. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David A. Duce, David J. Duke |
Interaction, Cognition and Visualization. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Rauterberg |
Four Different Measures to Quantify Three Usability Attributes: 'Feedback', 'Interface Directeness' and 'Flexibility'. |
DSV-IS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David J. Duke, Michael D. Harrison |
Folding Human Factors into Rigorous Development. |
DSV-IS |
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. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Chris R. Roast, Michael D. Harrison |
User Centred System Modelling using the Template Model. |
DSV-IS |
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. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Fabio Paternò, Ales Leonardi, S. Pangoli |
A Tool-supported Approach to the Refinement of Interactive Systems. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Alan J. Dix |
LADA - a logic for the Analysis of Distributed Actions. |
DSV-IS |
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. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Hans de Bruin, Peter Bouwman, Jan van den Bos |
Modeling and Analyzing Human-Computer Dialogues with Protocols. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Michael D. Harrison, Ann Blandford, Philip J. Barnard |
Modelling Interactive Systems and Providing Task Relevant Information. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Siegfried Schreiber |
The BOSS-System: Coupling Visual Programming with Model Based Interface Design. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Mark van Harmelen |
Object-Oriented Modelling and Specification for User Interface Design. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Philip J. Barnard, Jon May |
Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | David A. Duce |
Working Group Discussions: Users. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Andrew M. Dearden, Michael D. Harrison |
Modelling Interaction Properties for Interactive Case Memories. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Roger Kenton Took |
Understanding Direct Manipulation Interaction Algebraically. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Bob Fields, Michael D. Harrison, Peter C. Wright |
Modelling Interactive Systems and Providing Task Relevant Information. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Giorgio P. Faconti, Angelo Fornari, Nicola Zani |
Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Juan Carlos Torres 0001, Buenaventura Clares Rodríguez |
Understanding Direct Manipulation Interaction Algebraically. |
DSV-IS |
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. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Michael D. Harrison |
Working Group Discussions: Role of Formalisms. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Ales Limpouch |
Grammar-based Formal Specification for the Object-Oriented User Interface Development. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Niels Ole Bernsen |
Why are Analogue Graphics and Natural Language both Needed in HCI? |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | William D. Hurley |
Bridging the Gap from Conceptual Design to Software Design. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Piyawadee Noi Sukaviriya |
Working Group Discussions: Role of Development Environments. |
DSV-IS |
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 |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | H. Rex Hartson, Kevin A. Mayo |
A Framework for Precise, Reusable Task Abstractions. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
1 | Ping Luo |
A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|