004.41 : Ingénierie de logiciel

004 Informatique. Science et technologie de l'informatique
004 (031) Informatique. Science et technologie de l'informatique. Encyclopédie
004 (038) Informatique. Science et technologie de l'informatique. (Dictionnaire)
004(031) Informatique. Science et technologie de l'informatique (encyclopédies)
004.03
004.031.43 Système en temps réel
004.056 Informatique. Science et technologie de l'informatique. Sécurité
004.2 Ordinateur. Configuration. Architecture d'ordinateur
004.3 Ordinateur. Le matériel
004.31 Processeur. Unité de traitement. Circuits de traitement
004.382.7 Ordinateur personnel. Micro-odinateur. P.C
004.4 Logiciel. Programme
004.4'422 Compilateur
004.4/005
004.413 Gestion du développement du logiciel
004.415.2 Développement du système et ingénierie du logiciel
004.42 Programmation. Programmes d'ordinateur
004.421 Algorithmes pour élaboration du programme
004.43 Langage de programmation
004.43(036) Langage de programmation (Guides)
004.436.2 Langage de description du matériel
004.439 Langage signalétique. Convention pour encoder du texte ou autres données
004.451 Systèmes d'exploitation
004.49 Infection d'ordinateur. Virus
004.514.6 Environnement windows.interface wimp
004.6 linformatique
004.62 Traitement de l'information (Data science)
004.62:658 Traitement de l'information (Data science) : Organisation des entreprises
004.65 Système de gestion de base de données
004.655 Langage des bases de données
004.655.3 Langage de gestion des données. En ce compris : langage d'interrogation.(SQL)
004.7 Communication entre ordinateur. Réseau d'ordinateur.
004.72 Architecture de réseau
004.722 Topologies de réseaux y compris FTP (Protocole de transfert de fichiers)
004.738.5 Communication entre ordinateur. Réseau d'ordinateur. Internet
004.738.52 Moteur de recherche internet
004.77 Application et services généraux de réseaux.
004.774 Application HTTP. Web (www) au sens strict. Sites, pages, ressources, contenus du web
004.774.6 Outils et programmes de conception de page, de publication, d'organisation et de gestion du contenu web
004.78 Systèmes de réseau pour usage spécifique (Blockchain)
004.78:336 Systèmes de réseau pour usage spécifique (Blockchain) : Finances. Finances publiques. Impôts et accises. Systèmes monétaire et bancaire
004.78:621.316.1 Systèmes de réseau pour usage spécifique (Blockchain): Réseau de distribution d'énergie(dans les bâtiments, etc)
004.8 Intelligence artificielle
004.8:614 L'intelligence artificielle dans la santé
004.9 Application de procédés informatiques.
004.9(084.3) Application de procédés informatiques par WebMapping
004.91 Traitement et production de document.
004.912 Traitement de texte
004.93 Traitement des images
004.932 Application de procédés informatique. Traitement de l'image
004.94 Simulation par ordinateur
004.946 Réalité virtuelle

Ouvrages de la bibliothèque en indexation 004.41

Ingénierie de la spécialisation de programmes / Renaud Marlet

Public ISBD Titre : Ingénierie de la spécialisation de programmes : techniques avancées. 2 Type de document : texte imprimé Auteurs : Renaud Marlet, Auteur Editeur : Paris : Hermès Science Année de publication : 2011 Autre Editeur : Paris : Lavoisier Collection : Logique et programmation Importance : 343 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3799-5 Note générale : Bibliogr. p. [285]-301. - Index Langues : Français (fre) Mots-clés : Génie  logiciel Logiciels  --  Développement Langages  de  programmation Index. décimale : 004.41 Ingénierie de logiciel Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. La spécialisation de programmes, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous programme spécialisé. Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles. Note de contenu : Au sommaire : 1. Précision des analyses de programmes. 2. Réification : de la valeur au terme. 3. Spécialisation de programmes incomplets. 4. Exploitation de la spécialisation. 5. Spécialisation incrémentale à l'exécution. 6. Spécialisation de données. 7. Perspectives scientifiques. 8. Conclusion : du prototype au produit. Ingénierie de la spécialisation de programmes : techniques avancées. 2 [texte imprimé] / Renaud Marlet, Auteur . - Hermès Science : Paris : Lavoisier, 2011 . - 343 p. : ill. ; 24 cm. - (Logique et programmation) . ISBN : 978-2-7462-3799-5 Bibliogr. p. [285]-301. - Index Langues : Français (fre) Mots-clés : Génie  logiciel Logiciels  --  Développement Langages  de  programmation Index. décimale : 004.41 Ingénierie de logiciel Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. La spécialisation de programmes, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous programme spécialisé. Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles. Note de contenu : Au sommaire : 1. Précision des analyses de programmes. 2. Réification : de la valeur au terme. 3. Spécialisation de programmes incomplets. 4. Exploitation de la spécialisation. 5. Spécialisation incrémentale à l'exécution. 6. Spécialisation de données. 7. Perspectives scientifiques. 8. Conclusion : du prototype au produit.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
057911	004.41 MAR	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place

Les points de fonction en ingénierie logicielle / Bernard Mesdon

Public ISBD Titre : Les points de fonction en ingénierie logicielle : principes, méthodes, usages Type de document : texte imprimé Auteurs : Bernard Mesdon, Auteur ; Jean-Marc Nemo, Préfacier, etc. Editeur : Paris : Hermès Science Année de publication : 2012 Autre Editeur : Paris : Lavoisier Collection : Études informatiques et logiciels Importance : 239 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3830-5 Note générale : Bibliogr. p. [235]-236. - Index Langues : Français (fre) Mots-clés : Entreprises  --  Systèmes  d'information Systèmes  informatiques  --  Évaluation Analyse  informatique Systèmes,  Conception  de  --  Coût-efficacité Index. décimale : 004.41 Ingénierie de logiciel Résumé : La méthode des points de fonction est l'outil incontournable pour la mesure fonctionnelle des SI et l'estimation des coûts de développement. Elle permet de mesurer les services rendus aux utilisateurs du SI, indépendamment des aspects architecturaux et méthodologiques du développement logiciel. Cette méthode s'applique aux fonctions de l'entreprise comme la direction des systèmes d'information (fonctions projet, processus et gouvernance), les directions métiers (fonction maîtrise d'ouvrage) ou les SSII (fonctions projet, qualité et méthodes). Des exemples et études de cas illustrant l'utilisation de la méthode permettent de définir les usages (estimation des coûts, mais aussi suivi des ratios de productivité, etc.), d'attribuer des méthodes spécifiques pour les différents types de SI (IFPUG et/ou COSMIC), de révéler les limites et extensions (cotation des algorithmes) et de déterminer les chiffres de bases (ratios de productivité, taille des SI, coefficients correcteurs, etc.). L'auteur Spécialiste en développement et direction de projet de SI, Bernard Mesdon utilise les points de fonction depuis 1996 comme outil d'analyse fonctionnelle et d'estimation des coûts de développement. Note de contenu : Au sommaire : 1. Introduction aux points de fonction 2. La méthode IFPUG 3. La méthode COSMIC 4. Le modèle de référence IFPUG et les diagrammes UML 5. Quelques extensions aux règles IFPUG 6. Estimation et modèles de coût de SI 7. Études de cas 8. Bases "théoriques" et pistes de réflexion Les points de fonction en ingénierie logicielle : principes, méthodes, usages [texte imprimé] / Bernard Mesdon, Auteur ; Jean-Marc Nemo, Préfacier, etc. . - Hermès Science : Paris : Lavoisier, 2012 . - 239 p. : ill. ; 24 cm. - (Études informatiques et logiciels) . ISBN : 978-2-7462-3830-5 Bibliogr. p. [235]-236. - Index Langues : Français (fre) Mots-clés : Entreprises  --  Systèmes  d'information Systèmes  informatiques  --  Évaluation Analyse  informatique Systèmes,  Conception  de  --  Coût-efficacité Index. décimale : 004.41 Ingénierie de logiciel Résumé : La méthode des points de fonction est l'outil incontournable pour la mesure fonctionnelle des SI et l'estimation des coûts de développement. Elle permet de mesurer les services rendus aux utilisateurs du SI, indépendamment des aspects architecturaux et méthodologiques du développement logiciel. Cette méthode s'applique aux fonctions de l'entreprise comme la direction des systèmes d'information (fonctions projet, processus et gouvernance), les directions métiers (fonction maîtrise d'ouvrage) ou les SSII (fonctions projet, qualité et méthodes). Des exemples et études de cas illustrant l'utilisation de la méthode permettent de définir les usages (estimation des coûts, mais aussi suivi des ratios de productivité, etc.), d'attribuer des méthodes spécifiques pour les différents types de SI (IFPUG et/ou COSMIC), de révéler les limites et extensions (cotation des algorithmes) et de déterminer les chiffres de bases (ratios de productivité, taille des SI, coefficients correcteurs, etc.). L'auteur Spécialiste en développement et direction de projet de SI, Bernard Mesdon utilise les points de fonction depuis 1996 comme outil d'analyse fonctionnelle et d'estimation des coûts de développement. Note de contenu : Au sommaire : 1. Introduction aux points de fonction 2. La méthode IFPUG 3. La méthode COSMIC 4. Le modèle de référence IFPUG et les diagrammes UML 5. Quelques extensions aux règles IFPUG 6. Estimation et modèles de coût de SI 7. Études de cas 8. Bases "théoriques" et pistes de réflexion

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055370	004.41 MES	Papier	Bibliothèque Centrale	Informatique	Disponible	En bon état
055369	004.41 MES	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place

Ingénierie de la spécialisation de programmes, 1. Principes et applications / Renaud Marlet

Public ISBD Titre de série : Ingénierie de la spécialisation de programmes, 1 Titre : Principes et applications Type de document : texte imprimé Auteurs : Renaud Marlet, Auteur Editeur : Paris : Hermès Science Année de publication : 2011 Autre Editeur : Paris : Lavoisier Collection : Logique et programmation Importance : 349 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2101-7 Note générale : Bibliogr. [281]-308. - Index Langues : Français (fre) Mots-clés : Génie  logiciel Logiciels  --  Développement Index. décimale : 004.41 Ingénierie de logiciel Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l’avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l’écriture des programmes et leur maintenance. La spécialisation de programmes, est conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l’adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. À titre illustratif, il décrit aussi l’architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d’effectuer des spécialisations en cours d’exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines. Note de contenu : Au sommaire : 1. Introduction : spécialiser pour adapter 2. Préliminaires sur les langages et les programmes 3. Les grands principes de la spécialisation de programmes 4. Techniques de spécialisation 5. Spécialisation hors ligne 6. Un spécialisateur pour C : Tempo 7. Applications de la spécialisation Ingénierie de la spécialisation de programmes, 1. Principes et applications [texte imprimé] / Renaud Marlet, Auteur . - Hermès Science : Paris : Lavoisier, 2011 . - 349 p. : ill. ; 24 cm. - (Logique et programmation) . ISBN : 978-2-7462-2101-7 Bibliogr. [281]-308. - Index Langues : Français (fre) Mots-clés : Génie  logiciel Logiciels  --  Développement Index. décimale : 004.41 Ingénierie de logiciel Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l’avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l’écriture des programmes et leur maintenance. La spécialisation de programmes, est conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l’adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. À titre illustratif, il décrit aussi l’architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d’effectuer des spécialisations en cours d’exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines. Note de contenu : Au sommaire : 1. Introduction : spécialiser pour adapter 2. Préliminaires sur les langages et les programmes 3. Les grands principes de la spécialisation de programmes 4. Techniques de spécialisation 5. Spécialisation hors ligne 6. Un spécialisateur pour C : Tempo 7. Applications de la spécialisation

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055599	004.41 MAR	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place
055600	004.41 MAR	Papier	Bibliothèque Centrale	Informatique	Disponible	En bon état