Applications Logicielles Certifiables 3. (Record no. 24556)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03341nam a22004213i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC6482583 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240724114914.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 cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240724s2018 xx o ||||0 fre d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781784065157 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781784055158 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC6482583 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL6482583 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1239992460 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.D47 B685 2018 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Boulanger, Jean-Louis. |
| 245 10 - TITLE STATEMENT | |
| Title | Applications Logicielles Certifiables 3. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | London : |
| Name of producer, publisher, distributor, manufacturer | ISTE Editions Ltd., |
| Date of production, publication, distribution, manufacture, or copyright notice | 2018. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (345 pages) |
| 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 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Cover -- Table of Contents -- Introduction -- Chapitre 01. Réalisation d'une application logicielle -- Chapitre 02. Gestion des exigences -- Chapitre 03. Structure documentaire -- Chapitre 04. Spécification des exigences -- Chapitre 05. Modélisation -- Chapitre 06. Formalisation -- Chapitre 07. Vérification de la phase de spécification d'une application logicielle -- Chapitre 08. Composant versus module -- Chapitre 09. Architecture d'une application logicielle -- Chapitre 10. Vérification de l'architecture logicielle -- Chapitre 11. Conception de l'application logicielle -- Chapitre 12. Vérification de la phase de conception -- Chapitre 13. Codage de l'application logicielle -- Chapitre 14. Règles de programmation -- Chapitre 15. Vérification du codage -- Chapitre 16. Fiche de version -- Conclusion -- Glossaire -- Bibliographie -- Index -- Sommaires des autres volumes. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Applications logicielles certifiables se compose de plusieurs ouvrages qui présentent le développement d'une application logicielle critique.Ce troisième opus décrit le processus de réalisation d'une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme référence est le cycle en V. Ce cycle se veut le plus agile possible. La préparation des tests se fait donc lors de la phase descendante et permet d'identifier très tôt des défauts. Pour chaque phase, de la spécification à la production du code, les activités de conception, de préparation des tests et de vérification à mettre en place sont également présentées.Dans cet ouvrage le lecteur trouvera une description essentielle et complète de la réalisation d'une application logicielle qui doit être mis en oeuvre, afin que celle-ci soit la plus sûre possible. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software-Development. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Boulanger, Jean-Louis |
| Title | Applications Logicielles Certifiables 3 |
| Place, publisher, and date of publication | London : ISTE Editions Ltd.,c2018 |
| International Standard Book Number | 9781784055158 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6482583">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6482583</a> |
| Public note | Click to View |
No items available.