الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'logiciels'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logiciels embarqués / Jérôme Dern
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 Informatique générale : Structure et fonctionnement des ordinateurs ,logiciels / SAGAPE BERNARD
Titre : Informatique générale : Structure et fonctionnement des ordinateurs ,logiciels Type de document : texte imprimé Auteurs : SAGAPE BERNARD, Auteur Editeur : Berti:Alger Année de publication : 1992 Langues : Français (fre) Mots-clés : ordinateurs fonctionnement logiciels Index. décimale : 005 Informatique générale : Structure et fonctionnement des ordinateurs ,logiciels [texte imprimé] / SAGAPE BERNARD, Auteur . - [S.l.] : Berti:Alger, 1992.
Langues : Français (fre)
Mots-clés : ordinateurs fonctionnement logiciels Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00803 005-42.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00804 005-42.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Outils logiciels pour la programmation système / Ted J. Biggerstaff
Titre : Outils logiciels pour la programmation système Type de document : texte imprimé Auteurs : Ted J. Biggerstaff, Auteur ; Alain Kermarrec (19..-....), Traducteur Editeur : Paris : Masson Année de publication : 1989 Autre Editeur : London : Prentice Hall Collection : Manuels informatiques Masson, ISSN 0249-6992 num. 72 Importance : VIII-357 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81539-3 Note générale : Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : logiciels programmation Index. décimale : 006 Outils logiciels pour la programmation système [texte imprimé] / Ted J. Biggerstaff, Auteur ; Alain Kermarrec (19..-....), Traducteur . - Paris : Masson : London : Prentice Hall, 1989 . - VIII-357 p. : ill. ; 24 cm. - (Manuels informatiques Masson, ISSN 0249-6992; 72) .
ISBN : 978-2-225-81539-3
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : logiciels programmation Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02351 006-123.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Pratique des tests logiciels : Améliorer la qualité par les tests, Gérer une campagne de tests,Préparer la certification ISTQB / Jean-François Pradat-Peyre
Titre : Pratique des tests logiciels : Améliorer la qualité par les tests, Gérer une campagne de tests,Préparer la certification ISTQB Type de document : texte imprimé Auteurs : Jean-François Pradat-Peyre, Auteur ; Jacques Printz, Auteur Mention d'édition : 4em ed. Editeur : Paris : Dunod Année de publication : 2021 Importance : 244 p. Format : 25 x 18 cm. ISBN/ISSN/EAN : 978-2-10-081995-9 Langues : Français (fre) Mots-clés : logiciels Index. décimale : 006 Résumé : Ce livre s’adresse aux développeurs, concepteurs et intégrateurs de logiciels ainsi qu’aux chefs de projets et aux architectes.
Avec la montée en charge du big data, et du cloud computing, la fiabilité des logiciels est plus importante que jamais. Concevoir du premier coup et sans aucune erreur un logiciel qui comporte plusieurs millions de lignes de code et plusieurs centaines de composants est évidemment impossible. La nécessité de faire des tests au cours des différentes phases de conception paraît évidente et pourtant, dans la pratique, les tests sont souvent négligés et relégués au second plan. L’objectif de cet ouvrage est triple :
–– donner les bases et les bonnes pratiques pour concevoir et mener à bien des tests ;
–– fournir un référentiel en termes de méthodes et de vocabulaire ;
–– préparer la certification ISTQB du métier de testeur.
Cette quatrième édition rend compte des évolutions dans la pratique des tests logiciels au cours des trois dernières années.Pratique des tests logiciels : Améliorer la qualité par les tests, Gérer une campagne de tests,Préparer la certification ISTQB [texte imprimé] / Jean-François Pradat-Peyre, Auteur ; Jacques Printz, Auteur . - 4em ed. . - Paris : Dunod, 2021 . - 244 p. ; 25 x 18 cm.
ISBN : 978-2-10-081995-9
Langues : Français (fre)
Mots-clés : logiciels Index. décimale : 006 Résumé : Ce livre s’adresse aux développeurs, concepteurs et intégrateurs de logiciels ainsi qu’aux chefs de projets et aux architectes.
Avec la montée en charge du big data, et du cloud computing, la fiabilité des logiciels est plus importante que jamais. Concevoir du premier coup et sans aucune erreur un logiciel qui comporte plusieurs millions de lignes de code et plusieurs centaines de composants est évidemment impossible. La nécessité de faire des tests au cours des différentes phases de conception paraît évidente et pourtant, dans la pratique, les tests sont souvent négligés et relégués au second plan. L’objectif de cet ouvrage est triple :
–– donner les bases et les bonnes pratiques pour concevoir et mener à bien des tests ;
–– fournir un référentiel en termes de méthodes et de vocabulaire ;
–– préparer la certification ISTQB du métier de testeur.
Cette quatrième édition rend compte des évolutions dans la pratique des tests logiciels au cours des trois dernières années.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei12386 006-136.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Spécification des logiciels / Pascal Andr©
Titre : Spécification des logiciels : deux exemples de pratiques récentes ; Z et UML Type de document : texte imprimé Auteurs : Pascal Andr© (1967-....), ; Alain Vailly, Editeur : Paris : Ellipses Année de publication : 2001. Collection : Technosup Sous-collection : G©nie logiciel Importance : 1 vol. (317 p.) Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0774-0 Langues : Français (fre) Mots-clés : Spécification logiciels Z UML Index. décimale : 005 Résumé : Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes.Spécification des logiciels : deux exemples de pratiques récentes ; Z et UML [texte imprimé] / Pascal Andr© (1967-....), ; Alain Vailly, . - Paris : Ellipses, 2001. . - 1 vol. (317 p.) : ill., couv. ill. ; 26 cm.. - (Technosup. G©nie logiciel) .
ISBN : 978-2-7298-0774-0
Langues : Français (fre)
Mots-clés : Spécification logiciels Z UML Index. décimale : 005 Résumé : Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes.Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei00501 005-292.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01719 005-292.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00500 005-292.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01485 005-292.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01486 005-292.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Le test des logiciels / Spyros Xanthakis
PermalinkAdobe InDesign CS2 / Mélanie Muteau
PermalinkMaitrisez votre gestion de configuration logiciel : une étape pour la certification ISO 9000 / Jacquin Dominique
Permalink