الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Logiciels embarqués / Jérôme Dern

Public ISBD Titre : Logiciels embarqués : viser l'excellence dans le développement Type de document : texte imprimé Auteurs : Jérôme Dern, Auteur Editeur : Saint-Herblain : Éditions ENI Année de publication : cop. 2014 Collection : Collection Datapro, ISSN 1968-5491 Importance : 1 vol. (408 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9155-9 Note générale : Bibliogr. p. 395-398. Index Langues : Français (fre) Mots-clés : Logiciels Index. décimale : 006 Résumé : Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie Logiciels embarqués : viser l'excellence dans le développement [texte imprimé] / Jérôme Dern, Auteur . - Saint-Herblain : Éditions ENI, cop. 2014 . - 1 vol. (408 p.) : ill. ; 21 cm. - (Collection Datapro, ISSN 1968-5491) . ISBN : 978-2-7460-9155-9 Bibliogr. p. 395-398. Index Langues : Français (fre) Mots-clés : Logiciels Index. décimale : 006 Résumé : Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
fsei10911	006-336.1	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible
fsei10912	006-336.2	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible

---

1 (1 - 1 / 1)