Design, Specification and Verification of Interactive by Anthony Hall (auth.), Prof. Dr. Michael Douglas Harrison,

By Anthony Hall (auth.), Prof. Dr. Michael Douglas Harrison, Dr. Juan Carlos Torres (eds.)

An expanding attractiveness of the function of the human-system interface is resulting in new extensions and kinds of specification. options are being built that facilitate the expression of user-oriented specifications and the refinement and checking of requisites of interactive platforms. This publication displays the state-of-the-art during this vital sector and in addition includes a precis of operating staff discussions approximately how a number of the suggestions represented may be utilized to a typical case study.

Show description

Read or Download Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997 PDF

Best nonfiction_7 books

Collaborative Virtual Environments: Digital Places and Spaces for Interaction

Collaborative digital Environments (CVEs) are on-line electronic locations and areas the place we will be able to be in contact, play jointly and interact, even if we're, geographically conversing, worlds aside. we will be able to hang around, current replacement selves, have interaction with reasonable and brilliant items and perform most unlikely manoeuvres.

Dissociative Recombination of Molecular Ions with Electrons

Dissociative Recombination of Molecular Ions with Electrons is a entire choice of refereed papers describing the most recent advancements in dissociative recombination examine. The papers are written by means of the major researchers within the box. the themes coated contain using microwave afterglows, merged beams and garage jewelry to degree price coefficients and to spot the goods and their yields.

Additional resources for Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997

Sample text

Descriptive models of systems are used primarily for analysis, perhaps to help in making a choice between possible designs. A prescriptive specification is used to say how a system should be built, to express choices that have already been made. Of course, the design of specification languages and modelling notations reflects the primary intention of providing support for either refinement and verification, or for validation and analysis. Although both specification and modelling notations may be used in roles for which they were not intended, doing so may well prove difficult or inconvenient.

The work reported in this paper is a step in the process of developing and testing a set of axioms about user cognition that can be used for reasoning about user behaviour. 2. Background The original vision for this work (Young, Green and Simon, 1989) was that the analyst should gain insight into the usability of an interactive system both through the process of specifying the knowledge the user needs (in the PUM Instruction Language) and by observing the behaviour of the running model. The knowledge analysis is guided by the requirements of the Instruction Language, which in turn is designed as a programming language for the PUM.

28. Shaw, M. : Software Architecture, Perspectives on an Emerging Discipline, Prentice Hall, 1996. 29. : XVT. a Virtual Toolkit, Byte ,14(3), 1989. 30. VITESSE, Visualization and Interaction Techniques to Enhance Superscalar Search Engines. html. K. uk Abstract. Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we argue that a change of emphasis may be necessary as the field matures.

Download PDF sample

Rated 4.05 of 5 – based on 12 votes