Titlebook: Safety-Critical Systems: The Convergence of High Tech and Human Factors; Proceedings of the F Felix Redmill,Tom Anderson Conference proceed

TAG

Ancestor

,Human Issues in the Software Development Process — Modelling Their Influence on Productivity and Inect, in its second year at the time of writing. The aim of the project is to enhance productivity and integrity in the development of safety critical software through the evolution of a new Code of Practice.

Volatile-Oils

,The Institution of Railway Signal Engineers Licensing Scheme — Promoting Competence in the Workplacly employed on licensable work. The generic licence is portable, and is supported by a log book in which details of experience and assessments related to specific equipment are recorded. The scheme has been in operation for two years and has the support of the industry.

Orgasm

Canopy

ARK

System Safety through Formal Domain-Specific Languages,g systems..An approach is described, based on formal transformations, to acquire an abstract representation in a domain-specific language. The design criteria for such a language are described, and then a simple language for process control is shown as an example.

fatuity

modern technology. Their effective, efficient and safe functioning depends not only on the devel­ opment of the right technologies but also on the right use of them. The safety of a system may be compromised not only by faults in the system but also by the use in the first place of an unreliable, u

badinage

性别

Conference proceedings 1996chnology. Their effective, efficient and safe functioning depends not only on the devel­ opment of the right technologies but also on the right use of them. The safety of a system may be compromised not only by faults in the system but also by the use in the first place of an unreliable, unsafe, or

RUPT