Integrating status and event phenomena in formal specifications of interactive systems

This publication has 13 references indexed in Scilit:

• The design and implementation of Kaleidoscope'90-A constraint imperative programming language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The Rendezvous constraint maintenance system
  Published by Association for Computing Machinery (ACM) ,1993
• Conjunction as composition
  ACM Transactions on Software Engineering and Methodology, 1993
• Abstract Interaction Objects
  Computer Graphics Forum, 1993
• A high-level and flexible framework for implementing multiuser user interfaces
  ACM Transactions on Information Systems, 1992
• A tour of suite user interface software
  Published by Association for Computing Machinery (ACM) ,1990
• The RAISE language, method and tools
  Formal Aspects of Computing, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Using formal specifications in the design of a human-computer interface
  Communications of the ACM, 1983
• Formal Grammar and Human Factors Design of an Interactive Graphics System
  IEEE Transactions on Software Engineering, 1981