CLU reference manual
Principles of interactive computer graphics (2nd ed.)
Principles of interactive computer graphics (2nd ed.)
Fundamentals of interactive computer graphics
Fundamentals of interactive computer graphics
Behavioral Aspects of Text Editors
ACM Computing Surveys (CSUR)
Interactive Editing Systems: Part I
ACM Computing Surveys (CSUR)
External Representations of Objects of User-Defined Type
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Specification of Graphic Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graphics Programming Using a Database System with Dependency Declarations
ACM Transactions on Graphics (TOG)
A High-Level Language for Specifying Pictures
ACM Transactions on Graphics (TOG)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FLAIR - user interface dialog design tool
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
A user interface management system
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
The device model of interaction
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Star graphics: An object-oriented implementation
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
PIC—a language for typesetting graphics
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Traits: An approach to multiple-inheritance subclassing
Proceedings of the SIGOA conference on Office information systems
Virtual terminal management in a multiple process environment
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
An integrated system for creating and presenting complex computer-based documents
SIGGRAPH '81 Proceedings of the 8th annual conference on Computer graphics and interactive techniques
PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE
PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE
Scribe: a document specification language and its compiler
Scribe: a document specification language and its compiler
Report on the programming language Euclid
ACM SIGPLAN Notices
Status report of the graphic standards planning committee
ACM SIGGRAPH Computer Graphics - Status report of the graphic standards planning committee
An input-output model of interactive systems
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Dialog management in interactive systems: a comparative survey
ACM SIGCHI Bulletin
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular implementation of presentations
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Reasoning About Interactive System
IEEE Transactions on Software Engineering
Software Environment Architectures and User Interface Facilities
IEEE Transactions on Software Engineering
Ada packages and the user's conceptual model
ACM SIGAda Ada Letters
The user-definable interface project
ACM SIGSOFT Software Engineering Notes
A layout abstraction for user-system interface
ACM SIGCHI Bulletin
Hi-index | 0.00 |
This paper shows how the principles of programming methodology and language design can help solve the problem of specifying and creating interactive display interfaces for software systems. Abstraction techniques, such as abstract data types, can support both the specification of display interfaces and the implementation of those interfaces in a variety of styles. These abstraction techniques also guide the organization of software systems that will use display interfaces. We are developing a system that includes specifications, interface description tools, prototype organizations, and runtime support. The emphasis is on flexibility and on the separation of policy from particular instances. Preliminary results from implementations in a prototype domain indicate the feasibility of the approach.