Buch, Englisch, 292 Seiten, Format (B × H): 143 mm x 216 mm, Gewicht: 403 g
ISBN: 978-94-010-7104-8
Verlag: Springer Netherlands
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
