Certifiable software applications. (Record no. 247382)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04596cam a2200481Ia 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn953849041 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190328114815.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160722s2016 enka ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | IDEBK |
| Language of cataloging | eng |
| Description conventions | pn |
| Transcribing agency | IDEBK |
| Modifying agency | N$T |
| -- | OPELS |
| -- | UIU |
| -- | OCLCF |
| -- | YDXCP |
| -- | EBLCP |
| -- | UPM |
| -- | OCLCQ |
| -- | N$T |
| -- | OCLCQ |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | U3W |
| -- | D6H |
| -- | WYU |
| -- | WAU |
| -- | OCLCQ |
| 019 ## - | |
| -- | 953977153 |
| -- | 1066692191 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780081011652 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0081011652 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781785481178 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 1785481177 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)953849041 |
| Canceled/invalid control number | (OCoLC)953977153 |
| -- | (OCoLC)1066692191 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.A65 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 051230 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Boulanger, Jean-Louis. |
| 245 10 - TITLE STATEMENT | |
| Title | Certifiable software applications. |
| Number of part/section of a work | 1, |
| Name of part/section of a work | Main processes / |
| Medium | [electronic resource] |
| Statement of responsibility, etc. | Jean-Louis Boulanger. |
| 246 3# - VARYING FORM OF TITLE | |
| Title proper/short title | Main processes |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | London : |
| Name of publisher, distributor, etc. | ISTE, |
| Date of publication, distribution, etc. | 2016. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource : |
| Other physical details | illustrations |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Online resource; title from PDF title page (EBSCO, viewed October 26, 2016). |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Application software |
| General subdivision | Development. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | COMPUTERS |
| General subdivision | Software Development & Engineering |
| -- | General. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Application software |
| General subdivision | Development. |
| Source of heading or term | fast |
| Authority record control number | (OCoLC)fst00811707 |
| 655 #0 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic book. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | ScienceDirect |
| Uniform Resource Identifier | http://www.sciencedirect.com/science/book/9781785481178 |
No items available.