ABSTRACT
This paper aims at asserting the impact of formal specifications on the ergonomics of software interfaces.
Evaluations performed a few years ago in software engineering by B6hm (1976) have shown that 70% of the total cost of an application is dedicated to the maintenance. This maintenance costs result from different kinds of problems that can be classified in three main categories :
a) correction of errors appearing during the use of the software, b) addition of new functionalities or the modification of software features, c) improvement of the user interface when it appears that users are reluctant to use the
software (or when they use only a few of its functionalities).
