A Visual and Formal Glue between Application and Interaction

  title={A Visual and Formal Glue between Application and Interaction},
  author={R{\'e}mi Bastide and Philippe A. Palanque},
  journal={J. Vis. Lang. Comput.},
The construction of interactive software is known to be a difficult task. As far as the non-interactive part of the application is concerned, designers can find support in the field of software engineering, using object-oriented design methods for example. With regard to the user interface per se, a number of interactive tools (interface builders) are available, that allows creating interactively the look and feel of the interface. However, relating an object-oriented design with a proper user… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
18 Citations
40 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.
Showing 1-10 of 40 references

Essential features of petri nets. Systems Engeneering: A Petri Net Based Approach to Modelling Verification and Implementation

  • R. Valk
  • 1998

Formal transducers: models of devices and building bricks for highly interactive systems. 4th Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS’97

  • J. Accot, S. Chatty, P. Palanque
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…