Software Tools for User Interface Development

This publication has 21 references indexed in Scilit:

• A specification language for direct-manipulation user interfaces
  ACM Transactions on Graphics, 1986
• Constraint-based tools for building user interfaces
  ACM Transactions on Graphics, 1986
• A survey of three dialogue models
  ACM Transactions on Graphics, 1986
• Supporting concurrency, communication, and synchronization in human-computer interaction—the Sassafras UIMS
  ACM Transactions on Graphics, 1986
• An object-oriented approach to graphical interfaces
  ACM Transactions on Graphics, 1986
• Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
  IEEE Transactions on Software Engineering, 1985
• Towards a comprehensive user interface management system
  ACM SIGGRAPH Computer Graphics, 1983
• Using formal specifications in the design of a human-computer interface
  Communications of the ACM, 1983
• The Ada Compiler Validation Capability
  Computer, 1981
• The keystroke-level model for user performance time with interactive systems
  Communications of the ACM, 1980