EXECUTABLE SPECIFICATIONS AS AN AID TO DIALOGUE DESIGN
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A specification language for direct-manipulation user interfacesACM Transactions on Graphics, 1986
- ADDS—a dialogue development system for the Ada programming languageInternational Journal of Man-Machine Studies, 1986
- Functional programming, formal specification, and rapid prototypingIEEE Transactions on Software Engineering, 1986
- Extending State Transition Diagrams for the Specification of Human–Computer InteractionIEEE Transactions on Software Engineering, 1985
- SqueakACM SIGGRAPH Computer Graphics, 1985
- A structured approach to designing human-computer dialoguesInternational Journal of Man-Machine Studies, 1984
- Syntax directed graphical interactionACM SIGPLAN Notices, 1983
- Input–Output Tools: A Language Facility for Interactive and Real-Time SystemsIEEE Transactions on Software Engineering, 1983