Abstract Model-Based User Interface Development Environments (MBUIDEs) provide a
context within which user interface declarative models can be constructed and related, as …

Task analysis can be considered as a fundamental component of user centered design
methods as it provides a unique way of analyzing in a systematic way users' roles and …

In this thesis we study the invariant rings for the Sylow p-subgroups of the nite classical
groups. We have successfully constructed presentations for the invariant rings for the Sylow …

Adaptive automation systems allow the user to complete a task seamlessly with a computer
performing tasks at which the human operator struggles. Unlike traditional systems that …

Multiple versions and expressions of task models used in user interface design, speci.
cation, and veri. cation of interactive systems have led to an ontological problem of …

In software engineering transformational development is a paradigm consisting in the
progressive refinement of abstract models into concrete models, until program code. This …

UML and traditional CASE tools still focus more on application internals and less on
application usability aspects. A user interface (UI) is modeled in terms of its internal structure …

A number of task-modeling notations have been developed in the human-computer
interaction (HCI) community, often with different goals and thus different strengths. For …

CONTEXT: Designers and developers are increasingly expected to deliver high quality
systems, ie systems that are usable, robust, consistent as well as evolutionary, and that fulfill …

User-oriented hardware and software development relies on a systematic development
process based on a comprehensive analysis focusing on the users' requirements and …