A computer program to convert gas analysis data from units of volume percent to molar quantities /

A computer program has been prepared, for use on the ASI-210 digital computer, which will convert gas analysis data from units of volume percent to molar quantities.

An analysis of computer security safeguards for detecting and preventing intentional computer misuse /

Mode of access: Internet.

Osiris III; an integrated collection of computer programs for the management and analysis of social science data.

v. 1. System and program description.--v. 2. Error Messages.--v. 3. Summary of control cards.--v. 4. Sample jobs.--v. 5. Formulas and statistical references.--v. 6. Primer.

Computer program for the reduction and preliminary analysis of runoff data.

Mode of access: Internet.

Workshop on Crime Analysis Through Computer Mapping : proceedings, 1993 /

Includes bibliographical references.

OMNITAB : a computer program for statistical and numerical analysis /

Includes bibliographies and index.

VESYS G : a computer program for analysis of N-layered flexible pavements /

Mode of access: Internet.

Impact of the computer on job analysis in the United States Air Force /

Photocopy.

Monthly streamflow analysis program : Hydrologic Engineering Center computer program 24-J2-L242.

At head of cover title: Generalized computer program.

Searching for structure (alias-AID-III) ; an approach to analysis of substantial bodies of micro-data and documentation for a computer program (successor to the Automatic Interaction Detector Program) /

Bibliography: p. [165]-166.

Searching for structure ; an approach to analysis of substantial bodies of micro-data and documentation for a computer program /

Mode of access: Internet.

Multiple classification analysis ; a report on a computer program for multiple regression using categorical predictors /

Bibliographical footnotes.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.