Titlebook: Interactive Systems. Design, Specification, and Verification; 10th International W Joaquim A. Jorge,Nuno Jardim Nunes,João Falcão e C Confe

PLIC

Conference proceedings 2003 together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages..

brother

Applying Extended Finite State Machines in Software Testing of Interactive Systemser, the application of the defined functional testing criteria is compared, through a practical experiment, to the application of their corresponding structural testing criteria – both applied as adequacy criteria.

CREST

Architectures for Widget-Level Plasticityble for the architecture to be deployed. The external approach uses gesture handling for widget activation in legacy applications. We demonstrate the viability of these architectures through example scroll bar and menu widgets.

讨人喜欢

排名真古怪

Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineeract task models and detailed interface specification languages are among the most widely used. However, the need for designing applications to run in a number of different devices and platforms presents new issues that must be addressed from a platform-separable perspective. In this paper, we show h

pester

尖叫

An Empirical Study of Personal Document Spacesferent contexts. Personal Document Spaces (PDSs) now tend to span several machines or .. Moreover, the types and numbers of documents users manipulate have also grown. The advent of pervasive computing will reinforce this trend. In order to develop new approaches to help users manage their PDSs, we

Hla461

StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applicationstion extends the classical statecharts notation by adding more necessary concepts such as an appropriate semantics for states and transitions in a Web context, including notions like dialog initiative control and client and server activities. As well as statecharts do, this formal description techni

臆断

挖掘

Workspaces: A Multi-level Architectural Style for Synchronous Groupwaremponent design to distributed implementation. The style allows developers to work at a distribution-independent conceptual level and provides for automatic or semi-automatic refinement of conceptual designs into appropriate distributed implementations at run-time. Both the conceptual and implementat