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

FLEET

A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specificationshave developed, gathers information from both low and high abstraction levels and evaluates the user interactions. The behaviour and results of this tool are shown. We also present how the tool has been applied to Map, a real application used for presenting maps.

激怒某人