Titlebook: Design, Specification and Verification of Interactive Systems ’96; Proceedings of the E Francois Bodart,Jean Vanderdonckt Conference procee

改革运动

BRIEF

Specifying and Reasoning About CSCWsystem and the people, i.e. we do not follow a simple action and agent analysis. Since people bring knowledge to a system we treat them differently. We also propose the use of situation theory as a way of capturing requirements.

pacific

https://doi.org/10.1007/978-1-4020-9365-4cription of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.

充气球

exclusice

斜谷

Mathematics and Its Applicationsave different features which allow us to consider useful their integrated use to obtain synergistic and complementary results. In this paper we show their application to some examples in order to discuss similarities and differences and we outline a proposal for their integrated use.

cyanosis

Efficacy of Acid Suppression Therapynd device models. The devices and tasks are modeled by colored Petri nets partitioned to cleanly distinguish submodel component visibility and interface affordances. The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems.

神化怪物

Device Modelscription of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.

creatine-kinase

A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systemssuch interactions. We then show how multimodal interactions can be built from monomodal ones by combining those models. This is exemplified by an experimental two-handed graphical editor that has been built using the proposed model.

Impugn

Deriving a formal model of an interactive system from its UIL description in order to verify and to eems very hard to produce by common designers. A more realistic attitude consists in deriving a formal model from the description of the intended interface as it was informally designed. Practically, a tool generates models in the language Lustre from a user’s UIL description and these models are used for verification or test purposes.