Dependability of Critical Computer Systems 1
Editat de F. J. Redmillen Limba Engleză Paperback – 26 sep 2011
Preț: 371.35 lei
Nou
Puncte Express: 557
Preț estimativ în valută:
71.07€ • 75.16$ • 59.28£
71.07€ • 75.16$ • 59.28£
Carte tipărită la comandă
Livrare economică 30 decembrie 24 - 13 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789401071048
ISBN-10: 9401071047
Pagini: 312
Ilustrații: XVI, 292 p.
Dimensiuni: 140 x 216 x 16 mm
Greutate: 0.36 kg
Ediția:Softcover reprint of the original 1st ed. 1988
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401071047
Pagini: 312
Ilustrații: XVI, 292 p.
Dimensiuni: 140 x 216 x 16 mm
Greutate: 0.36 kg
Ediția:Softcover reprint of the original 1st ed. 1988
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
1 A Guideline for the Documentation of Critical Computer Systems.- 1 About this Guideline.- 2 Documentation Guideline.- 2 A Guideline for the Production of System Requirements Specifications.- 1 About this Guideline.- 2 About System Requirements Specifications (SRSs).- 3 The Form of a System Requirements Specification.- 3 A Guideline for the Development of Critical Software.- 1 About this Guideline.- 2 About the Development of Critical Software.- 3 Detailed Guideline for the Design and Construction of Critical Software.- 4 Language, Translator and Linkage Editor.- 4 A Guideline for the Design and Production of Hardware for Safety-Related Computer Systems.- 1 About this Guideline.- 2 Safe Hardware.- 5 A Guideline for the Verification and Validation of Critical Computer Systems.- 1 About this Guideline.- 2 The Verification and Validation Activities.- 6 Techniques for the Verification and Validation of Critical Software.- 1 About this Guideline.- 2 A Survey of Software Verification and Validation Techniques.