六个才偏离 发表于 2025-3-25 04:29:42

http://reply.papertrans.cn/48/4706/470562/470562_21.png

艰苦地移动 发表于 2025-3-25 08:01:16

Higher-Order Task Modelsifies procedural and state knowledge. As a consequence, higher-order actions are possible. The suggested approach is an answer to the need for more dynamic task models. It supports specifications of context sensitive and cooperative tasks.

PLIC 发表于 2025-3-25 14:33:37

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 发表于 2025-3-25 19:06:28

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 发表于 2025-3-25 21:01:04

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.

讨人喜欢 发表于 2025-3-26 03:27:14

http://reply.papertrans.cn/48/4706/470562/470562_26.png

排名真古怪 发表于 2025-3-26 07:52:55

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 发表于 2025-3-26 12:27:32

http://reply.papertrans.cn/48/4706/470562/470562_28.png

尖叫 发表于 2025-3-26 14:42:25

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 发表于 2025-3-26 17:54:41

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
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Interactive Systems. Design, Specification, and Verification; 10th International W Joaquim A. Jorge,Nuno Jardim Nunes,João Falcão e C Confe