|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
SCIDIR_ocn953849041 |
| 003 |
OCoLC |
| 005 |
20231120112123.0 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
160722s2016 enka ob 001 0 eng d |
| 040 |
|
|
|a IDEBK
|b eng
|e pn
|c IDEBK
|d N$T
|d OPELS
|d UIU
|d OCLCF
|d YDXCP
|d EBLCP
|d UPM
|d OCLCQ
|d N$T
|d OCLCQ
|d DEBSZ
|d OCLCQ
|d U3W
|d D6H
|d WYU
|d WAU
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 953977153
|a 1066692191
|
| 020 |
|
|
|a 9780081011652
|q (electronic bk.)
|
| 020 |
|
|
|a 0081011652
|q (electronic bk.)
|
| 020 |
|
|
|z 9781785481178
|
| 020 |
|
|
|z 1785481177
|
| 035 |
|
|
|a (OCoLC)953849041
|z (OCoLC)953977153
|z (OCoLC)1066692191
|
| 050 |
|
4 |
|a QA76.76.A65
|
| 072 |
|
7 |
|a COM
|x 051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
|
|a Boulanger, Jean-Louis.
|
| 245 |
1 |
0 |
|a Certifiable software applications.
|n 1,
|p Main processes /
|c Jean-Louis Boulanger.
|
| 246 |
3 |
|
|a Main processes
|
| 260 |
|
|
|a London :
|b ISTE,
|c 2016.
|
| 300 |
|
|
|a 1 online resource :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (EBSCO, viewed October 26, 2016).
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Title 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 |
|
|a 2.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 |
|
|a 5: 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 |
|
|a 8.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 |
|
|a 9.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 |
|a Application software
|x Development.
|
| 650 |
|
6 |
|a Logiciels d'application
|x D�eveloppement.
|0 (CaQQLa)201-0279367
|
| 650 |
|
7 |
|a COMPUTERS
|x Software Development & Engineering
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Application software
|x Development
|2 fast
|0 (OCoLC)fst00811707
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9781785481178
|z Texto completo
|
