Developing Safety Systems by Ian Pyle

Developing Safety Systems by Ian Pyle

This work looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed, explains relationships, with major published guidelines for development, of safety-related software, interprets guidelines specifically for Ada and presents material for three contemporary viewpoints - analyzer, synthesiser and checker.

SKU	Unavailable
ISBN 13	9780132042987
ISBN 10	0132042983
Title	Developing Safety Systems
Author	Ian Pyle
Condition	Unavailable
Binding Type	Paperback
Publisher	Pearson Education Limited
Year published	1991-01-01
Number of pages	240
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.