Titlebook: Design, Specification and Verification of Interactive Systems ’95; Proceedings of the E Philippe Palanque,Rémi Bastide Conference proceedin

Asperity

Combining Formal Techniques and Prototyping in User Interface Construction and Verificationle specification is used for constructing both implementations (prototypes) for experimentation and models for formal reasoning. Using a component-based approach not only allows us to construct realistic prototypes, but also allows us to generate a variety of formal models. Rapid prototyping allows

Delirium

Gerontology

Four different measures to quantify three usability attributes: ‘feedback’, ‘interactive directness’ product features. We present a new approach to measure user-interface quality in a quantitative way. First, we developed a concept to describe user-interfaces on a granularity level, that is detailed enough to preserve important interface characteristics, and is general enough to cover most of know

aristocracy

最有利

Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide coming from different perspectives: decomposition criteria in architecture design, dialog independence in user interface (UI) design, methodology to follow in a development team. These factors are not easy to conciliate, forcing designers to make trade offs or unbalanced choices. In this paper, we

kidney

The Design of Narrative Virtual Environmentseen developed for this new technology. Existing software tools are very low level, forcing the application developer to use programming to produce most of the application code. Many VE applications will be developed by non-programmers, who don’t have the skill or time to use today’s low level tools.

cringe

无法解释

obeisance

谈判

The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident And their systems. Tool support can be recruited to validate the resulting nets. The sequences of events leading to an accident can be simulated and shown to human factors and systems engineers. This, in turn, may elicit further observations about the causes of an accident. A near collision analysed