000 04596cam a2200481Ia 4500
001 ocn953849041
003 OCoLC
005 20190328114815.0
006 m o d
007 cr |n|||||||||
008 160722s2016 enka ob 001 0 eng d
040 _aIDEBK
_beng
_epn
_cIDEBK
_dN$T
_dOPELS
_dUIU
_dOCLCF
_dYDXCP
_dEBLCP
_dUPM
_dOCLCQ
_dN$T
_dOCLCQ
_dDEBSZ
_dOCLCQ
_dU3W
_dD6H
_dWYU
_dWAU
_dOCLCQ
019 _a953977153
_a1066692191
020 _a9780081011652
_q(electronic bk.)
020 _a0081011652
_q(electronic bk.)
020 _z9781785481178
020 _z1785481177
035 _a(OCoLC)953849041
_z(OCoLC)953977153
_z(OCoLC)1066692191
050 4 _aQA76.76.A65
072 7 _aCOM
_x051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aBoulanger, Jean-Louis.
245 1 0 _aCertifiable software applications.
_n1,
_pMain processes /
_h[electronic resource]
_cJean-Louis Boulanger.
246 3 _aMain processes
260 _aLondon :
_bISTE,
_c2016.
300 _a1 online resource :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
588 0 _aOnline resource; title from PDF title page (EBSCO, viewed October 26, 2016).
504 _aIncludes bibliographical references and index.
505 0 _aTitle page; Table of Contents; Copyright; Introduction; Reader's guide; Acknowledgments; 1: System, Equipment and Software; Abstract:; 1.1 Introduction; 1.2 Impact on dependability; 1.3 Command and control system; 1.4 System; 1.5 Development process; 1.6 Safety: from system to software; 1.7 Software application; 1.8 Conclusion; 1.9 Glossary; 2: Software Application; Abstract:; 2.1 Introduction; 2.2 Software versus software applications; 2.3 Software application in its context; 2.4 Generic software and parameterized software; 2.5 Module and component; 2.6 Reused component and COTS.
505 8 _a2.7 Product line2.8 Conclusion; 2.9 Glossary; 3: Principle of Dependability; Abstract:; 3.1 Introduction; 3.2 Dependability; 3.3 Description of software errors; 3.4 Safety critical software; 3.5 Conclusion; 3.6 Glossary; 4: Safety Management of a Software Application; Abstract:; 4.1 Introduction; 4.2 General approach; 4.3 Danger, undesirable events, accidents, risks; 4.4 System safety; 4.5 Safety Assurance Plan; 4.6 Safety case; 4.7 Reliability, availability and maintainability; 4.8 Critical systems; 4.9 Conclusion; 4.10 Appendix 1 -- Safety Assurance Plan; 4.11 Glossary.
505 8 _a5: Safety of a Software ApplicationAbstract:; 5.1 Introduction; 5.2 General approach; 5.3 Safety level; 5.4 Safety demonstration activity of a software application; 5.5 Conclusion; 5.6 SSAP template; 5.7 Glossary; 6: Technique to Manage Software Safety; Abstract:; 6.1 Introduction; 6.2 Techniques for software safety; 6.3 Other diversities; 6.4 Conclusion; 6.5 Glossary; 7: Assessment and Certification; Abstract:; 7.1 Introduction; 7.2 Product; 7.3 Assessment; 7.4 Certification; 7.5 Conclusion; 7.6 Glossary; 8: Different Sectors and Various Normative Referentials; Abstract:; 8.1 Introduction.
505 8 _a8.2 E/E/PE system8.3 Railway sector; 8.4 Aeronautics; 8.5 Space sector; 8.6 Nuclear sector; 8.7 Automobile sector; 8.8 A few constraints; 8.9 Safety level; 8.10 Conclusion; 8.11 Glossary; 9: Quality Management; Abstract:; 9.1 Introduction; 9.2 Continuous improvement; 9.3 Quality management as well as quality control; 9.4 Quality management; 9.5 What is quality of a software application?; 9.6 Development of a software application; 9.7 Software quality; 9.8 Measurement of complexity of a software application; 9.9 Development cycle; 9.10 Vocabulary and mode of expression; 9.11 Organization.
505 8 _a9.12 Configuration management9.13 Safety assurance management; 9.14 Software Quality Assurance Plan; 9.15 Defect management; 9.16 Maintenance of a software application; 9.17 Conclusion; 9.18 Appendix A -- Structure of an SQAP; 9.19 Glossary; 10: Requirement Management; Abstract:; 10.1 Introduction; 10.2 Requirement acquisition phase; 10.3 Specification of requirements; 10.4 Implementation of requirements; 10.5 Requirement management; 10.6 Conclusion; 10.7 Glossary; Conclusion; Bibliography; Index.
650 0 _aApplication software
_xDevelopment.
650 7 _aCOMPUTERS
_xSoftware Development & Engineering
_xGeneral.
_2bisacsh
650 7 _aApplication software
_xDevelopment.
_2fast
_0(OCoLC)fst00811707
655 0 _aElectronic book.
655 4 _aElectronic books.
856 4 0 _3ScienceDirect
_uhttp://www.sciencedirect.com/science/book/9781785481178
999 _c247382
_d247382