CP12

Palanque, P., Farenc, C., Bastide, R.
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software

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.

Proceedings of INTERACT'99 conference Endinburg, Scotland, 1-4 September 1999,
Published by IOS Press, c IFIP TC.13, 1999

Download PS version (100 KB, zipped with Winzip)

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