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...
详细信息
作者：
Christopher AhlbergBen ShneidermanDept. of Computer Science
Chalmers University of Technology S-412 96 Göteborg Sweden and Department of Computer Science Human-Computer Interaction Laboratory & Institute for Systems Research University of Maryland College Park MD Department of Computer Science
Human-Computer Interaction Laboratory & Institute for Systems Research University of Maryland College Park MD
暂无评论