Search results for "DSV-IS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "DSV-IS"( http://dblp.L3S.de/Venues/DSV-IS )