The SCEAS System
Navigation Menu

Conferences in DBLP

Design, Specification, and Verification of Interactive Systems (DSV-IS) (dsvis)
1994 (conf/dsvis/1994)

  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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:3-14 [Conf]
  2. Philip J. Barnard, Jon May
    Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:15-49 [Conf]
  3. David A. Duce
    Working Group Discussions: Users. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:51-55 [Conf]
  4. Michael D. Harrison
    Working Group Discussions: Role of Formalisms. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:57-60 [Conf]
  5. Piyawadee Noi Sukaviriya
    Working Group Discussions: Role of Development Environments. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:61-73 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:77-94 [Conf]
  7. Hans de Bruin, Peter Bowman, Jan van den Bos
    Modeling and Analyzing Human-Computer Dialogues with Protocols. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:95-116 [Conf]
  8. William D. Hurley
    Bridging the Gap from Conceptual Design to Software Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:117-127 [Conf]
  9. Ping Luo
    A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:129-147 [Conf]
  10. Fabio Paternò, Ales Leonardi, S. Pangoli
    A Tool-supported Approach to the Refinement of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:149-159 [Conf]
  11. Siegfried Schreiber
    The BOSS-System: Coupling Visual Programming with Model Based Interface Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:161-179 [Conf]
  12. Piyawadee Noi Sukaviriya, Jeyakumar Muthukumarasamy, Martin R. Frank, James D. Foley
    A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:181-197 [Conf]
  13. Mark van Harmelen
    Object-Oriented Modelling and Specification for User Interface Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:199-231 [Conf]
  14. Niels Ole Bernsen
    Why are Analogue Graphics and Natural Language both Needed in HCI? [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:235-251 [Conf]
  15. Bob Fields, Michael D. Harrison, Peter C. Wright
    Modelling Interactive Systems and Providing Task Relevant Information. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:253-266 [Conf]
  16. Michael D. Harrison, Ann Blandford, Philip J. Barnard
    Modelling Interactive Systems and Providing Task Relevant Information. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:267-277 [Conf]
  17. H. Rex Hartson, Kevin A. Mayo
    A Framework for Precise, Reusable Task Abstractions. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:279-297 [Conf]
  18. Andrew M. Dearden, Michael D. Harrison
    Modelling Interaction Properties for Interactive Case Memories. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:301-316 [Conf]
  19. Alan J. Dix
    LADA - a logic for the Analysis of Distributed Actions. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:317-332 [Conf]
  20. David J. Duke, Michael D. Harrison
    Folding Human Factors into Rigorous Development. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:333-347 [Conf]
  21. Giorgio P. Faconti, Angelo Fornari, Nicola Zani
    Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:349-367 [Conf]
  22. Ales Limpouch
    Grammar-based Formal Specification for the Object-Oriented User Interface Development. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:369-382 [Conf]
  23. Philippe A. Palanque, Rémi Bastide
    Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:383-400 [Conf]
  24. Chris R. Roast, Michael D. Harrison
    User Centred System Modelling using the Template Model. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:401-412 [Conf]
  25. Roger K. Took
    Understanding Direct Manipulation Interaction Algebraically. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:413-428 [Conf]
  26. Juan Carlos Torres, Buenaventura Clares Rodríguez
    Understanding Direct Manipulation Interaction Algebraically. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:429-444 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002