DSV-IS'94 - Background

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the
application code is devoted to the user interface portion. In order to manage this complexity, it is very important to have tools, notations, and methodologies which
support the designer's work during the refinement process from specification to implementation.