Developing Safety Systems: A Guide Using Ada - Softcover

Pyle, I. C.

Softcover

ISBN 10: 0132042983 ISBN 13: 9780132042987

Verlag: Prentice-Hall, 1991

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Prentice-Hall
• Erscheinungsdatum: 1991
• Sprache: Englisch
• ISBN 10: 0132042983
• ISBN 13: 9780132042987
• Einband: Taschenbuch
• Anzahl der Seiten: 240
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Yeepin GmbH; 492000000000; sunshine12232@outlook.com; ; Alleestr.11; Kaiserslautern; Rheinland-Pfalz; 67655; Deutschland