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.
ASIN : 0132042983
Binding : Paperback
EAN : 9780132042987
Edition :
Feature :
ISBN : 0132042983
Label : Prentice-Hall
Languages :
Manufacturer : Prentice-Hall
Number of Pages : 240
Publication Date : 1 Jan 1991
SKU : 0918-WS1601-A03030-0132042983
Studio : Prentice-Hall
