interaction objects (interactors) are abstract structures that provide a link between rigorous approaches to software development and user-oriented aspects of interaction. The focus of the paper is on the second role ...
详细信息
interaction objects (interactors) are abstract structures that provide a link between rigorous approaches to software development and user-oriented aspects of interaction. The focus of the paper is on the second role of interactors;in particular, how a formal model of interaction can be used to classify and clarify various properties of interactive behaviour that are important from a user-oriented viewpoint, The formal model used in this discussion abstracts away from distinctions between states, events, and renderings;when needed, these concepts are introduced as various projections on the basic model.
Methods for ohserving software users in the workplace will hecome increasingly important as the numher of people using computers grows and developers improve existing systems. Successful redesigns rely, in part, on co...
详细信息
This paper reviews the state of research linking formal specification and interactive systems. An appreciation of humancomputerinteraction has become increasingly important within Software Engineering. As systems ha...
详细信息
This paper describes recent work concerned with the specification of requirements on interactive systems and the definition of user-level properties of such systems. A formal notation for describing and reasoning abou...
详细信息
This paper describes an approach to the incremental and iterative analysis of requirements for safety-critical systems. Safety strategies are developed to ensure that hazard states are avoided and the system's int...
详细信息
This paper describes an approach to the incremental and iterative analysis of requirements for safety-critical systems. Safety strategies are developed to ensure that hazard states are avoided and the system's integrity is maintained in the presence of failures in the system components. The approach supports an understanding of human error and the formulation of human error tolerance requirements ensuring that safety is preserved in the presence of user errors. The approach is illustrated with an example from the aerospace industry.
We have devised novel methods to evaluate the structural similarity of proteins and we compare them. In each method, a hash vector is associated with each fixed length fragment of three dimensional protein structure. ...
详细信息
We have devised novel methods to evaluate the structural similarity of proteins and we compare them. In each method, a hash vector is associated with each fixed length fragment of three dimensional protein structure. Then, we analyze the similarity between fragments by evaluating the difference between true hash vectors. The novel aspect of the methods is that the following property is proved theoretically: the root mean square deviation between two fragments is small, so the distance between the hash vectors associated with the fragments is small. The methods were compared with the previous methods using PDB data, and were shown to be much faster. One of the new hashing methods is already included in PROTEIX, a database management system for protein structures. The features of PROTEIX are described.< >
Hypertext, perhaps more than any other interface philosophy to date, lends itself to very diverse applications. Hypertext is particularly appropriate for systems intended for public access and widely-accessible comput...
详细信息
The FilmFinder allow users to explore a large film database. By applying the dynamic queries approach to filtering information, a continuous starfield display of the films, and tight coupling among the components of t...
详细信息
Dynamic Queries is a querying technique for doing range search on multi-key data sets. It is a direct manipulation mechanism where the query is formulated using graphical widgets and the results are displayed graphica...
详细信息
暂无评论