Titlebook: Design, Specification and Verification of Interactive Systems ’99; Proceedings of the E David Duke,Angel Puerta Conference proceedings 1999

絕食

權(quán)宜之計

Refinement of the PAC model for the component-based design and specification of television based inteptual architecture for structuring user interface software in an object oriented fashion. This paper reports our experience of adapting and refining PAC as a component architecture in the context of consumer electronics, and On-screen Displays in particular. The paper describes a structured scheme

Pde5-Inhibitors

Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementationsation as a distributed system. Because they abstract issues of distribution, networking and concurrency control, design-level architectures can be implemented using a range of distributed implementation architectures. This paper shows how the implementation of groupware applications can be guided by

cyanosis

裝勇敢地做

Using automated reasoning in the design of an audio-visual communication systemve area of human understanding meets the objectivity of computer systems logic. We present results of a case study in the use of automated reasoning to aid the formal analysis of interactive systems. We show how we can use human-factors issues to generate properties of interest, and how we can use m

anagen

nugatory

Dialogue Validation from Task Analysisthod and a tool to analyse whether the design actually fulfils the original requirements for the system. The principle of our validation method is to generate the complete set of possible user interaction sequences from the task analysis. Then, this set is injected in the Dialogue Controller Compone

朝圣者

Task- and Object-Oriented Development of Interactive Systems — How many models are necessary ?development process and its underlying representations. Within the paper different types of models are classified according to their importance for the development process. The relation between existing, envisioned and programming models are discussed and a task driven approach for object-oriented p

無辜

Injunction

Modelisation of Co-operative Worktarreously. In such systems, we must take into account technological aspects as well as human factors. Characteristics involved with users (such as usability and performance) as well as the social and contextual organisation Hurst be studied. By doing so, an abstract model, regarding design and impl