Cantitate/Preț
Produs

Dependability of Critical Computer Systems 1

Editat de F. J. Redmill
en Limba Engleză Paperback – 26 sep 2011
M. CARPENTIER Director General DG XIII, Telecommunications, Information Industries and Innovation of the Commission of the European Communities It is with great pleasure that I introduce and recommend this collection of guidelines produced by EWICS TC7. This Technical Committee has consistently attracted technical experts of high quality from all over Europe and the standard of the Committee's work has reflected this. The Committee has been sponsored by the Commission of the European Communities since 1978. During this period, there has been the opportunity to observe the enthusiasm and dedication in the activities of the group, the expertise and effort invested in its work, the discipline in meeting objectives and the quality of the resulting guidelines. It is no surprise that these guidelines have influenced the work of international standardisation bodies. Now the first six of EWICS TCTs guidelines are being made available as a book. I am convinced that all computer system developers who use them will greatly enhance their chances of achieving quality systems. v Acknowledgements In the preparation of this book, the editoLisgrateful to P. Bishop, G. Covington II, C. Goring, and W. Quirk for their help in editing the guidelines. In addition, he would like to thank S. Bologna, W. Ehrenberger, M. Ould, J. Rata, L. Sintonen and J. Zalewski for reviewing the chapters and providing additional material.
Citește tot Restrânge

Preț: 37135 lei

Nou

Puncte Express: 557

Preț estimativ în valută:
7107 7516$ 5928£

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

Public țintă

Research

Cuprins

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.