JP2

Bastide, R., Palanque, P.
A Visual and Formal Glue between Application and Interaction

This paper presents a formal framework for the development of interactive software that bridges the gap between ergonomic knowledge and software design. It builds upon previous work on formal notations and proposes an integrated development process from requirements to model­based execution. It also embeds ergonomic knowledge in requirements, and proposes a way to formally represent them and to prove their fulfilment over a detailed formal specification of the interactive software.

International Journal of Visual Language and Computing, Academic Press Volume 10, Number 6, 1999. To appear

Home   Overview    Contact list    Planning of Work   Documents    Workspace   Related Links    Statistics