Titlebook: Design, Specification and Verification of Interactive Systems ’98; Proceedings of the E Panos Markopoulos,Peter Johnson Conference proceedi

Debility

广口瓶

Further Applications to Lie AlgebrasWe present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL.

esoteric

Deriving Business Object Definitions from User Work Process ModelsWhen software is developed to support user work processes (WPs) it’s purpose is to improve their quality by making them faster, cheaper, more accurate, reducing variance, etc. But across industry this purpose has not yet been met in any conspicuous manner for information workers [4].

limber

predict

The viability of modelling socially organised activityghlighting the informal, tacit, contingent, and relational aspects of technology use, it raises issues which test the technical scope and practical value of model making. In this paper, attempts to use activity-based insights in design are reviewed and their implications for the relationship between model and activity are considered.

无法治愈

An Ontology for Task World Models belief that task models should be based on an ontology that describes the relevant concepts and the relationships between them, independently of any used graphical representations. Such an ontology helps to understand the different task modeling methods and it can also be operationalized for use in tools.

enfeeble

Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Controluseful for describing complex cooperative applications can be clearly specified. An example of application to describe En-Route Air Traffic Control (ATC) is given to illustrate and clarify our approach.

规范要多

Validating semi-formal specifications of interactors as design representationsorts a case study which assesses the relevance of the representation to the designer who is interested in the usability of a system. The paper discusses this case study and its findings, and discusses some methodological concerns about the validation of design representations of interactive systems.

FAST

温和女孩

Which widgets? Deriving implementations from formal user-interface specificationsgn using widgets, determining the user-interface’s presentation is simplified. Such transformation corresponds to redefinition of abstract user tasks at a more concrete level. We illustrate the process by reference to a simple file browser user-interface.