Applications Logicielles Certifiables 3
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 com...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | E-Book |
| Sprache: | Französisch |
| Veröffentlicht: |
London
ISTE Editions Ltd
2018
ISTE Editions |
| Ausgabe: | 1 |
| Schriftenreihe: | Collection informatique |
| Schlagworte: | |
| ISBN: | 9781784055158, 1784055158 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. Applications logicielles certifiables se compose de plusieurs ouvrages qui presentent le developpement d'une application logicielle critique.Ce troisieme opus decrit le processus de realisation d'une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme reference est le cycle en V. Ce cycle se veut le plus agile possible. La preparation des tests se fait donc lors de la phase descendante et permet d'identifier tres tot des defauts. Pour chaque phase, de la specification a la production du code, les activites de conception, de preparation des tests et de verification a mettre en place sont egalement presentees.Dans cet ouvrage le lecteur trouvera une description essentielle et complete de la realisation d'une application logicielle qui doit etre mis en oeuvre, afin que celle-ci soit la plus sAre possible. |
| Author | Boulanger, Jean-Louis |
| Author_xml | – sequence: 1 fullname: Boulanger, Jean-Louis |
| BookMark | eNpVj8tKw0AYRke8oK15h-6Ki8DcL8sa6gUCbnQd_rlExw6ZmIn6-lYriKuPA4cD3wKdDHkIR6gyShOlOZaCCHX8x2LP-gwtCGXGGMolPkdVKa8YY4ax4FhdoPVmHFN0MMc8lFWbn6OLIaVQVk2Y5thHsN_ALtFpD6mE6neX6Olm-9jc1e3D7X2zaWtgnOia99J6q7V2VHmvMebKBxbAeGICWCEdwZRSID0AcA-9tZQ7bZWg1nHJ2BJdHbpQduGzvOQ0l-4jBZvzrnT_nu7d9cEdp_z2Hsrc_WguDPMEqdteN5JrKjRjX0RUUxU |
| ContentType | eBook |
| DEWEY | 005.1 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781784065157 1784065153 |
| Edition | 1 |
| ExternalDocumentID | 9781784065157 EBC6482583 |
| GroupedDBID | 38. AABBV ABARN ABQPQ ACLGV ADVEM AFOJC AHWGJ AJFER ALMA_UNASSIGNED_HOLDINGS BBABE GEOUK |
| ID | FETCH-LOGICAL-a3418-4f6bdb888c27dd80047de3ea9d19eab56c10222a1faaa4dafbb24c8b752bc4633 |
| ISBN | 9781784055158 1784055158 |
| IngestDate | Fri Nov 08 03:21:31 EST 2024 Wed Dec 10 11:55:03 EST 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.76.D47 B685 2018 |
| Language | French |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a3418-4f6bdb888c27dd80047de3ea9d19eab56c10222a1faaa4dafbb24c8b752bc4633 |
| OCLC | 1239992460 |
| PQID | EBC6482583 |
| PageCount | 345 |
| ParticipantIDs | askewsholts_vlebooks_9781784065157 proquest_ebookcentral_EBC6482583 |
| PublicationCentury | 2000 |
| PublicationDate | 2018 2018-11-01 |
| PublicationDateYYYYMMDD | 2018-01-01 2018-11-01 |
| PublicationDate_xml | – year: 2018 text: 2018 |
| PublicationDecade | 2010 |
| PublicationPlace | London |
| PublicationPlace_xml | – name: London |
| PublicationSeriesTitle | Collection informatique |
| PublicationYear | 2018 |
| Publisher | ISTE Editions Ltd ISTE Editions |
| Publisher_xml | – name: ISTE Editions Ltd – name: ISTE Editions |
| SSID | ssj0003005407 |
| Score | 2.0790732 |
| Snippet | Applications logicielles certifiables se compose de plusieurs ouvrages qui présentent le développement d'une application logicielle critique.Ce troisième opus... Applications logicielles certifiables se compose de plusieurs ouvrages qui presentent le developpement d'une application logicielle critique.Ce troisieme opus... |
| SourceID | askewsholts proquest |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Computer software Computer software-Development |
| TableOfContents | 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 |
| Title | Applications Logicielles Certifiables 3 |
| URI | https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6482583 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9781784065157 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NS8MwFA-6eXAXv3F-UUT0MAK2aZv06qgfKFNwg91K0qRQHN1ct7E_35cu6-o8iAcvpUlLSt9L3kfy3vshdJVwBoKREBwQxbEr-C0WrvBwwqQjQQXZisoCbIJ2OqzfD94MzFZewAnQLGPzeTD6V1ZDHzBbp87-gd3loNAB98B0uALb4bpmEZdNE29cOYvWULwpLNvBQOWtto6dTlKdJJW3ynWuEaWLpN9FkAvP8Mtwmn7bBrDZ2jbA03s3bIUyNd8oI4IWfqJNwY8D22hRJX2twHR41_ZdcBQZuR59Yo3Hpc-tDTjJJtqkPkiO-kP42nsud69IYeppwMPV0KaAVtluoAbPP0BUgxif5D90XaHAu7uornRWxx7aSMb7aGeJZWEZ0XaAbqrUsyrUs6rUs8gh6t2H3fYjNiASmIOCZthNfCEF-PmxQ6VkujqmVDAvA2kHigvPjwufl9sJ59yVPBHCcWMmqOeI2PUJOUK1bJipY2RRj4M5kwhHSPCqic85odxzbclUEKvAaaLLyg9Hs0Fx3p1HS6po1HnaRNaSDlHx3AThRis2nPz-yinaXk2CM1SbjKfqHG3Fs0majy8Mt74AOMYU0A |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Applications+Logicielles+Certifiables+3&rft.au=Boulanger%2C+Jean-Louis&rft.date=2018-01-01&rft.pub=ISTE+Editions+Ltd&rft.isbn=9781784055158&rft.externalDocID=EBC6482583 |
| thumbnail_m | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97817840%2F9781784065157.jpg |

