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. |
| Note | Unavailable |