Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Techniques de l'ingénieur HB / Blanc, André . Vol. HB4Technologies Logicielles Architectures des SystèmesMention de date : Trimestriel Paru le : 22/04/2007 |
Dépouillements
Ajouter le résultat dans votre panier
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p.
Titre : Réseaux locaux Type de document : texte imprimé Auteurs : Lahoud, Samer, Auteur Année de publication : 2007 Article en page(s) : 25 p. Langues : Français (fre) Mots-clés : Réseaux locaux Réseaux sans-fil Câblage Résumé : Un réseau local est l'ensemble de moyens matériels et logiciels qui permettent à un ensemble d'équipements informatiques de communiquer. Il se caractérise par une faible étendue et par des débits de transmission élevés. L'étendue d'un réseau local est typiquement celle d'une entreprise ou d'une institution allant de la centaine de mètres au kilomètre. Les débits vont de la dizaine de mégabits par seconde au gigabits par seconde dans les propositions récentes. La mise en œuvre d'un réseau local permet d'offrir des services informatiques aux utilisateurs tels que le stockage de données, l'impression de documents ou plus récemment la visioconférence.
Les réseaux locaux se caractérisent par des coûts d'installation réduits. Le coût du câblage intervient pour une part non négligeable dans l'installation du réseau. Le type de câblage utilisé a évolué vers un support unique utilisant des paires torsadées non blindées. Avec l'explosion des ordinateurs portables et des assistants personnels, les réseaux locaux intègrent la technologie sans-fil. Cette technologie réduit les coûts d'installation du réseau et satisfait les nouveaux besoins des utilisateurs en terme de nomadisme. Les réseaux locaux se caractérisent aussi par une simplicité de mise en œuvre et de configuration.
Les équipements sont identifiés sur un réseau local par des adresses qui leur sont attribuées dès la construction. Ces équipements peuvent être insérés ou retirés, ou encore être inactifs sur le réseau, sans pour autant perturber son fonctionnement.
Les réseaux locaux utilisent un support de transmission partagé auquel sont connectés tous les équipements. Pour assurer une équité dans l'accès au support de transmission, différentes méthodes de contrôle d'accès sont utilisées. La méthode la plus courante ne propose aucun contrôle et se limite à gérer les conséquences. Les méthodes d'accès exigent un nombre maximal d'équipements et une longueur maximale du support de transmission. En général, cette distance maximale ne dépasse pas la centaine de mètres. Par conséquent, les réseaux locaux sont composés de plusieurs segments qui sont interconnectés par des équipements comme les répéteurs, les ponts ou les commutateurs. Ces équipements servent à étendre efficacement la portée d'un réseau local et à interconnecter un nombre plus grand d'équipements.
Il existe plusieurs standards de réseaux locaux qui ont été normalisés par l'IEEE et l'ISO dont le modèle de référence IEEE 802. Les technologies des réseaux locaux sans-fil et Ethernet, très largement déployées dans les réseaux actuels, sont basées sur ce modèle de référence.
Cet article fait le point sur différentes technologies possibles et décrit en détail celles qui sont le plus couramment utilisées comme Ethernet et les réseaux locaux sans-fil. Ces deux technologies utilisent les supports de transmission les plus courants dans les réseaux locaux.
Cet article retrace l'évolution des technologies des réseaux locaux pour fournir des débits plus hauts et par la suite des services plus évolués. Enfin, il décrit les différentes techniques possibles pour interconnecter les réseaux locaux.
REFERENCE : TE 7 000 DEWEY : 004.2 Date : Aout 2010 En ligne : http://www.techniques-ingenieur.fr [article] Réseaux locaux [texte imprimé] / Lahoud, Samer, Auteur . - 2007 . - 25 p.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p.
Mots-clés : Réseaux locaux Réseaux sans-fil Câblage Résumé : Un réseau local est l'ensemble de moyens matériels et logiciels qui permettent à un ensemble d'équipements informatiques de communiquer. Il se caractérise par une faible étendue et par des débits de transmission élevés. L'étendue d'un réseau local est typiquement celle d'une entreprise ou d'une institution allant de la centaine de mètres au kilomètre. Les débits vont de la dizaine de mégabits par seconde au gigabits par seconde dans les propositions récentes. La mise en œuvre d'un réseau local permet d'offrir des services informatiques aux utilisateurs tels que le stockage de données, l'impression de documents ou plus récemment la visioconférence.
Les réseaux locaux se caractérisent par des coûts d'installation réduits. Le coût du câblage intervient pour une part non négligeable dans l'installation du réseau. Le type de câblage utilisé a évolué vers un support unique utilisant des paires torsadées non blindées. Avec l'explosion des ordinateurs portables et des assistants personnels, les réseaux locaux intègrent la technologie sans-fil. Cette technologie réduit les coûts d'installation du réseau et satisfait les nouveaux besoins des utilisateurs en terme de nomadisme. Les réseaux locaux se caractérisent aussi par une simplicité de mise en œuvre et de configuration.
Les équipements sont identifiés sur un réseau local par des adresses qui leur sont attribuées dès la construction. Ces équipements peuvent être insérés ou retirés, ou encore être inactifs sur le réseau, sans pour autant perturber son fonctionnement.
Les réseaux locaux utilisent un support de transmission partagé auquel sont connectés tous les équipements. Pour assurer une équité dans l'accès au support de transmission, différentes méthodes de contrôle d'accès sont utilisées. La méthode la plus courante ne propose aucun contrôle et se limite à gérer les conséquences. Les méthodes d'accès exigent un nombre maximal d'équipements et une longueur maximale du support de transmission. En général, cette distance maximale ne dépasse pas la centaine de mètres. Par conséquent, les réseaux locaux sont composés de plusieurs segments qui sont interconnectés par des équipements comme les répéteurs, les ponts ou les commutateurs. Ces équipements servent à étendre efficacement la portée d'un réseau local et à interconnecter un nombre plus grand d'équipements.
Il existe plusieurs standards de réseaux locaux qui ont été normalisés par l'IEEE et l'ISO dont le modèle de référence IEEE 802. Les technologies des réseaux locaux sans-fil et Ethernet, très largement déployées dans les réseaux actuels, sont basées sur ce modèle de référence.
Cet article fait le point sur différentes technologies possibles et décrit en détail celles qui sont le plus couramment utilisées comme Ethernet et les réseaux locaux sans-fil. Ces deux technologies utilisent les supports de transmission les plus courants dans les réseaux locaux.
Cet article retrace l'évolution des technologies des réseaux locaux pour fournir des débits plus hauts et par la suite des services plus évolués. Enfin, il décrit les différentes techniques possibles pour interconnecter les réseaux locaux.
REFERENCE : TE 7 000 DEWEY : 004.2 Date : Aout 2010 En ligne : http://www.techniques-ingenieur.fr
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 27 p.
Titre : Modélisation en UML/OCL : des langages de programmation: vers un processus IDIM incrémental Type de document : texte imprimé Auteurs : Bazex, Pierre, Auteur ; Canals, Agusti, Auteur Année de publication : 2007 Article en page(s) : 27 p. Note générale : Bibliogr. Langues : Français (fre) Résumé : CLes besoins industriels liés à l'utilisation d'un processus de développement à base de modèles nécessitent la modélisation des propriétés des langages de programmation. L'application de ces propriétés sur des diagrammes d'activité/classes permet de générer des codes des composants logiciels. L'architecture de processus incrémental à base de modèles proposée dans ce dossier est destinée aux experts d'un domaine pour la mise en place d'un atelier métier.
La sémantique dans les modèles est indispensable aux analystes/concepteurs qui souhaitent contrôler et donc mieux maîtriser le passage des modèles de conception aux composants logiciels.
Quid de l'approche sémantique des modèles dans un milieu industriel confronté aux systèmes critiques ?Modélisation Langages Programmation ProcessusREFERENCE : H 3 880 DEWEY : 004.2 Date : Aout 2011 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Modélisation en UML/OCL : des langages de programmation: vers un processus IDIM incrémental [texte imprimé] / Bazex, Pierre, Auteur ; Canals, Agusti, Auteur . - 2007 . - 27 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 27 p.
Résumé : CLes besoins industriels liés à l'utilisation d'un processus de développement à base de modèles nécessitent la modélisation des propriétés des langages de programmation. L'application de ces propriétés sur des diagrammes d'activité/classes permet de générer des codes des composants logiciels. L'architecture de processus incrémental à base de modèles proposée dans ce dossier est destinée aux experts d'un domaine pour la mise en place d'un atelier métier.
La sémantique dans les modèles est indispensable aux analystes/concepteurs qui souhaitent contrôler et donc mieux maîtriser le passage des modèles de conception aux composants logiciels.
Quid de l'approche sémantique des modèles dans un milieu industriel confronté aux systèmes critiques ?Modélisation Langages Programmation ProcessusREFERENCE : H 3 880 DEWEY : 004.2 Date : Aout 2011 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 24 p.
Titre : Could storage Type de document : texte imprimé Auteurs : Bernard Aubineau, Auteur ; Clement, Alain, Auteur ; Maury, Jean-Claude, Auteur Année de publication : 2007 Article en page(s) : 24 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Cloud Storage Résumé : Notre société est entrée dans une économie nouvelle où les réseaux prennent la place des marchés et où l'accès à des services se substitue à celle de la propriété.
Rappelons que des solutions, représentant des évolutions importantes des systèmes de stockage, ont été proposées, au fil du temps, par les fournisseurs du marché. Mais ces systèmes, toujours plus avancés et plus sophistiqués, présentent un grand défaut pour les entreprises. Bien que le prix des disques de stockage diminue fortement chaque année, l'afflux de nouvelles fonctionnalités laisse les coûts d'achat et d'exploitation de ces systèmes de stockage trop élevés. En particulier, pour les informations non structurées et fixes, toujours plus volumineuses.
De nouvelles approches s'attaquent à cette situation : comment stocker des volumes de données non structurées et fixes, en croissance exponentielle, à des coûts moindres ? Et ce, avec des fonctionnalités répondant bien aux exigences.
La révolution internet permet de développer des solutions aux différents problèmes des centres de traitement. Sous la pression de quelques précurseurs (salesforce.com, Amazon, etc.), bientôt rejoints par tous les grands fournisseurs (Microsoft, SAP, Oracle, IBM, etc.), le Cloud Computing devient un nouvel Eldorado. Ce mouvement prend de l'ampleur et se développe dans toutes les disciplines de l'informatique, en particulier dans le stockage. Nous entrons alors dans le Cloud Storage.
Comme pour le Cloud Computing, de nombreuses startups sont les véritables initiateurs et continuent de dynamiser ce nouveau marché. Mais, tous les acteurs majeurs du stockage, ainsi que des startups françaises, viennent d'entrer, eux aussi, dans le Cloud Storage. Quant aux prestataires de service, ils font les développements indispensables pour convertir leur offre actuelle en services de Cloud Storage.
Des contraintes plus fortes – accroissement exponentiel du volume des données, budget informatique sous la pression de la crise économique – obligent les directeurs de services informatiques à revoir où et comment faire de nouveaux investissements dans le stockage.
Le terrain est propice à l'adoption d'innovations, comme celles apportées par les startups et prestataires de services de Cloud Storage. De nouvelles solutions de stockage, moins chères, plus adaptées aux données non structurées et fixes (courriels, données scientifiques et techniques, fichiers multimédias, archives, etc.) et non critiques, sont maintenant présentes sur le marché. C'est une opportunité à utiliser de façon sélective et progressive.
Nous souhaitons, dans ce document :
introduire les différentes dimensions du Cloud Storage ;
présenter ses principales caractéristiques architecturales et techniques ;
aborder de façon pratique son utilisation ;
définir ses principaux marchés ;
nous projeter vers son avenir.
REFERENCE : H 6 010 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Could storage [texte imprimé] / Bernard Aubineau, Auteur ; Clement, Alain, Auteur ; Maury, Jean-Claude, Auteur . - 2007 . - 24 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 24 p.
Mots-clés : Cloud Storage Résumé : Notre société est entrée dans une économie nouvelle où les réseaux prennent la place des marchés et où l'accès à des services se substitue à celle de la propriété.
Rappelons que des solutions, représentant des évolutions importantes des systèmes de stockage, ont été proposées, au fil du temps, par les fournisseurs du marché. Mais ces systèmes, toujours plus avancés et plus sophistiqués, présentent un grand défaut pour les entreprises. Bien que le prix des disques de stockage diminue fortement chaque année, l'afflux de nouvelles fonctionnalités laisse les coûts d'achat et d'exploitation de ces systèmes de stockage trop élevés. En particulier, pour les informations non structurées et fixes, toujours plus volumineuses.
De nouvelles approches s'attaquent à cette situation : comment stocker des volumes de données non structurées et fixes, en croissance exponentielle, à des coûts moindres ? Et ce, avec des fonctionnalités répondant bien aux exigences.
La révolution internet permet de développer des solutions aux différents problèmes des centres de traitement. Sous la pression de quelques précurseurs (salesforce.com, Amazon, etc.), bientôt rejoints par tous les grands fournisseurs (Microsoft, SAP, Oracle, IBM, etc.), le Cloud Computing devient un nouvel Eldorado. Ce mouvement prend de l'ampleur et se développe dans toutes les disciplines de l'informatique, en particulier dans le stockage. Nous entrons alors dans le Cloud Storage.
Comme pour le Cloud Computing, de nombreuses startups sont les véritables initiateurs et continuent de dynamiser ce nouveau marché. Mais, tous les acteurs majeurs du stockage, ainsi que des startups françaises, viennent d'entrer, eux aussi, dans le Cloud Storage. Quant aux prestataires de service, ils font les développements indispensables pour convertir leur offre actuelle en services de Cloud Storage.
Des contraintes plus fortes – accroissement exponentiel du volume des données, budget informatique sous la pression de la crise économique – obligent les directeurs de services informatiques à revoir où et comment faire de nouveaux investissements dans le stockage.
Le terrain est propice à l'adoption d'innovations, comme celles apportées par les startups et prestataires de services de Cloud Storage. De nouvelles solutions de stockage, moins chères, plus adaptées aux données non structurées et fixes (courriels, données scientifiques et techniques, fichiers multimédias, archives, etc.) et non critiques, sont maintenant présentes sur le marché. C'est une opportunité à utiliser de façon sélective et progressive.
Nous souhaitons, dans ce document :
introduire les différentes dimensions du Cloud Storage ;
présenter ses principales caractéristiques architecturales et techniques ;
aborder de façon pratique son utilisation ;
définir ses principaux marchés ;
nous projeter vers son avenir.
REFERENCE : H 6 010 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 10 p.
Titre : Cloud computing Type de document : texte imprimé Auteurs : Figer, Jean-Paul, Auteur Année de publication : 2007 Article en page(s) : 10 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Cloud Computing Informatique Résumé : Le terme Cloud Computing est une rumeur apparue récemment dans la littérature informatique. La plupart des fournisseurs ont immédiatement introduit ce terme à tort et à travers dans leurs offres, ce qui n'en simplifie pas la compréhension. Le but de ce dossier est de faire le point sur cette technologie et de proposer une expérimentation facile à réaliser en quelques minutes...
L'architecture de référence proposée par le NIST (National Standard Institute http://www.nist.gov/itl/cloud/index.cfm) est habituellement utilisée par la plupart des acteurs.
La définition opérationnelle retenue par le NIST est la suivante :
« Le Cloud Computing est un modèle informatique qui permet un accès facile et à la demande par le réseau à un ensemble partagé de ressources informatiques configurables (serveurs, stockage, applications et services) qui peuvent être rapidement provisionnées et libérées par un minimum d'efforts de gestion ou d'interaction avec le fournisseur du service ».
Les caractéristiques essentielles, les différents modèles de services ainsi que la question essentielle de la sécurité des systèmes de Cloud Computing sont abordés.
Par la suite, on se consacre à l'émergence de standards et à une tentative d'évaluer les avantages économiques des technologies du Cloud Computing.
Une expérimentation des technologies Cloud utilisant le Cloud Amazon est proposée.
REFERENCE : H 6 020 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Cloud computing [texte imprimé] / Figer, Jean-Paul, Auteur . - 2007 . - 10 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 10 p.
Mots-clés : Cloud Computing Informatique Résumé : Le terme Cloud Computing est une rumeur apparue récemment dans la littérature informatique. La plupart des fournisseurs ont immédiatement introduit ce terme à tort et à travers dans leurs offres, ce qui n'en simplifie pas la compréhension. Le but de ce dossier est de faire le point sur cette technologie et de proposer une expérimentation facile à réaliser en quelques minutes...
L'architecture de référence proposée par le NIST (National Standard Institute http://www.nist.gov/itl/cloud/index.cfm) est habituellement utilisée par la plupart des acteurs.
La définition opérationnelle retenue par le NIST est la suivante :
« Le Cloud Computing est un modèle informatique qui permet un accès facile et à la demande par le réseau à un ensemble partagé de ressources informatiques configurables (serveurs, stockage, applications et services) qui peuvent être rapidement provisionnées et libérées par un minimum d'efforts de gestion ou d'interaction avec le fournisseur du service ».
Les caractéristiques essentielles, les différents modèles de services ainsi que la question essentielle de la sécurité des systèmes de Cloud Computing sont abordés.
Par la suite, on se consacre à l'émergence de standards et à une tentative d'évaluer les avantages économiques des technologies du Cloud Computing.
Une expérimentation des technologies Cloud utilisant le Cloud Amazon est proposée.
REFERENCE : H 6 020 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 17 p.
Titre : Référentiels normatifs : processus d'ingénierie informatique Type de document : texte imprimé Auteurs : Pinet, Claude, Auteur Année de publication : 2007 Article en page(s) : 17 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Référentiels normatifs Processus Informatique Résumé : Dans le domaine du traitement de l'information, du logiciel et plus généralement pour tout ce qui concerne les systèmes informatiques, la recherche de la qualité est la préoccupation de tous les acteurs. Toutefois, le manque de temps, la valse des évolutions technologiques et les contraintes de tous ordres semblent reléguer les aspirations de qualité au rang des objectifs inaccessibles et des mythes.
Pourtant, la qualité se résume simplement à la satisfaction des clients et par extension à l'atteinte de la satisfaction des exigences de tous les partenaires qui interviennent dans une opération ou un projet (utilisateurs, décideurs, organisateurs, acheteurs, chef de projet, concepteurs, développeurs, testeurs, exploitants, etc.).
Bien qu'immatériel, le logiciel n'échappe pas à ce principe fondamental. Afin de contribuer à l'amélioration de la qualité dans le domaine du logiciel, les experts internationaux de l'ISO se sont mis d'accord sur une base commune qui constitue une plate-forme normative.
Ces référentiels normatifs matérialisent notre point d'appui pour construire la qualité des processus d'ingénierie de projet ou d'exploitation. La qualité de livrables (produits logiciels et prestations qui les accompagnent) fait l'objet des dossiers [H 4 029]. Les bonnes pratiques de maîtrise du cycle de vie du logiciel font l'objet du dossier [H 4 031].
REFERENCE : H 4 028v2 Date : Mars 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Référentiels normatifs : processus d'ingénierie informatique [texte imprimé] / Pinet, Claude, Auteur . - 2007 . - 17 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 17 p.
Mots-clés : Référentiels normatifs Processus Informatique Résumé : Dans le domaine du traitement de l'information, du logiciel et plus généralement pour tout ce qui concerne les systèmes informatiques, la recherche de la qualité est la préoccupation de tous les acteurs. Toutefois, le manque de temps, la valse des évolutions technologiques et les contraintes de tous ordres semblent reléguer les aspirations de qualité au rang des objectifs inaccessibles et des mythes.
Pourtant, la qualité se résume simplement à la satisfaction des clients et par extension à l'atteinte de la satisfaction des exigences de tous les partenaires qui interviennent dans une opération ou un projet (utilisateurs, décideurs, organisateurs, acheteurs, chef de projet, concepteurs, développeurs, testeurs, exploitants, etc.).
Bien qu'immatériel, le logiciel n'échappe pas à ce principe fondamental. Afin de contribuer à l'amélioration de la qualité dans le domaine du logiciel, les experts internationaux de l'ISO se sont mis d'accord sur une base commune qui constitue une plate-forme normative.
Ces référentiels normatifs matérialisent notre point d'appui pour construire la qualité des processus d'ingénierie de projet ou d'exploitation. La qualité de livrables (produits logiciels et prestations qui les accompagnent) fait l'objet des dossiers [H 4 029]. Les bonnes pratiques de maîtrise du cycle de vie du logiciel font l'objet du dossier [H 4 031].
REFERENCE : H 4 028v2 Date : Mars 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 11 p.
Titre : Référentiels normatifs : produit logiciel Type de document : texte imprimé Auteurs : Pinet, Claude, Auteur Année de publication : 2007 Article en page(s) : 11 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Référentiels normatifs Logiciel Résumé : Dans le domaine du logiciel, et plus généralement, pour tout ce qui concerne les systèmes d'information, la recherche de la qualité est la préoccupation de tous les acteurs. Toutefois, le manque de temps, la valse des évolutions technologiques, et les contraintes de tous ordres, semblent reléguer les aspirations de qualité au rang des objectifs inaccessibles et des mythes.
Pourtant, la qualité se résume simplement à la satisfaction des clients, et par extension, à l'atteinte de la satisfaction des exigences de tous les partenaires qui interviennent dans une opération ou un projet (utilisateurs, décideurs, organisateurs, acheteurs, chef de projet, concepteurs, développeurs, testeurs, exploitants, etc.).
Bien qu'immatériel, le logiciel n'échappe pas à ce principe fondamental. Afin de contribuer à l'amélioration de la qualité dans le domaine du logiciel, les experts internationaux se sont mis d'accord sur une base commune qui constitue une plate-forme normative.
Ce référentiel normatif constitue notre point d'appui pour construire la qualité des produits logiciels que ces produits soient industrialisés (progiciels) ou le résultat de développements spécifiques personnalisés.
REFERENCE : H 4 029 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Référentiels normatifs : produit logiciel [texte imprimé] / Pinet, Claude, Auteur . - 2007 . - 11 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 11 p.
Mots-clés : Référentiels normatifs Logiciel Résumé : Dans le domaine du logiciel, et plus généralement, pour tout ce qui concerne les systèmes d'information, la recherche de la qualité est la préoccupation de tous les acteurs. Toutefois, le manque de temps, la valse des évolutions technologiques, et les contraintes de tous ordres, semblent reléguer les aspirations de qualité au rang des objectifs inaccessibles et des mythes.
Pourtant, la qualité se résume simplement à la satisfaction des clients, et par extension, à l'atteinte de la satisfaction des exigences de tous les partenaires qui interviennent dans une opération ou un projet (utilisateurs, décideurs, organisateurs, acheteurs, chef de projet, concepteurs, développeurs, testeurs, exploitants, etc.).
Bien qu'immatériel, le logiciel n'échappe pas à ce principe fondamental. Afin de contribuer à l'amélioration de la qualité dans le domaine du logiciel, les experts internationaux se sont mis d'accord sur une base commune qui constitue une plate-forme normative.
Ce référentiel normatif constitue notre point d'appui pour construire la qualité des produits logiciels que ces produits soient industrialisés (progiciels) ou le résultat de développements spécifiques personnalisés.
REFERENCE : H 4 029 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] Référentiels normatifs: gestion du cycle de vie du logiciel / Pinet, Claude in Techniques de l'ingénieur HB, Vol. HB4 (Trimestriel)
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 20 p.
Titre : Référentiels normatifs: gestion du cycle de vie du logiciel Type de document : texte imprimé Auteurs : Pinet, Claude, Auteur Année de publication : 2007 Article en page(s) : 20 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Référentiels normatifs Logiciel Résumé : Dans le domaine du logiciel et plus généralement pour tout ce qui concerne les systèmes d'information, la recherche de la qualité est la préoccupation de tous les acteurs. Toutefois, le manque de temps, la valse des évolutions technologiques, et les contraintes de tous ordres, semblent reléguer les aspirations de qualité au rang des objectifs inaccessibles et des mythes.
Pourtant, la qualité se résume simplement à la satisfaction des clients et par extension à l'atteinte de la satisfaction des exigences de tous les partenaires qui interviennent dans une opération ou un projet (utilisateurs, décideurs, organisateurs, acheteurs, chef de projet, concepteurs, développeurs, testeurs, exploitants, etc.).
Bien qu'immatériel, le logiciel n'échappe pas à ce principe fondamental. Afin de contribuer à l'amélioration de la qualité dans le domaine du logiciel, les experts internationaux se sont mis d'accord sur une base commune qui constitue une plate-forme normative.
Ce référentiel normatif constitue notre point d'appui pour construire la qualité des processus d'ingénierie de projet ou d'exploitation, mais aussi la qualité de livrables : produits logiciels et les prestations qui les accompagnent.
REFERENCE : H 4 031 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Référentiels normatifs: gestion du cycle de vie du logiciel [texte imprimé] / Pinet, Claude, Auteur . - 2007 . - 20 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 20 p.
Mots-clés : Référentiels normatifs Logiciel Résumé : Dans le domaine du logiciel et plus généralement pour tout ce qui concerne les systèmes d'information, la recherche de la qualité est la préoccupation de tous les acteurs. Toutefois, le manque de temps, la valse des évolutions technologiques, et les contraintes de tous ordres, semblent reléguer les aspirations de qualité au rang des objectifs inaccessibles et des mythes.
Pourtant, la qualité se résume simplement à la satisfaction des clients et par extension à l'atteinte de la satisfaction des exigences de tous les partenaires qui interviennent dans une opération ou un projet (utilisateurs, décideurs, organisateurs, acheteurs, chef de projet, concepteurs, développeurs, testeurs, exploitants, etc.).
Bien qu'immatériel, le logiciel n'échappe pas à ce principe fondamental. Afin de contribuer à l'amélioration de la qualité dans le domaine du logiciel, les experts internationaux se sont mis d'accord sur une base commune qui constitue une plate-forme normative.
Ce référentiel normatif constitue notre point d'appui pour construire la qualité des processus d'ingénierie de projet ou d'exploitation, mais aussi la qualité de livrables : produits logiciels et les prestations qui les accompagnent.
REFERENCE : H 4 031 Date : Fevrier 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 11 p.
Titre : Mashups : architecture des applications web tactiques d'entreprise Type de document : texte imprimé Auteurs : Chauvet, Jean-Marie, Auteur Année de publication : 2007 Article en page(s) : 11 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Mashups Application Web Résumé : Les « mashups » sont une nouvelle forme d'applications représentative de l'appropriation par l'informatique d'entreprise des standards, protocoles et usages rendus populaires par le développement généralisé du Web. Elles se caractérisent par la prise en main de l'architecture technique du Web, navigateurs modernes et Cloud Computing, par des utilisateurs-développeurs pour réaliser des applications tactiques propres à leurs besoins. REFERENCE : H 6 025 Date : Aout 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Mashups : architecture des applications web tactiques d'entreprise [texte imprimé] / Chauvet, Jean-Marie, Auteur . - 2007 . - 11 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 11 p.
Mots-clés : Mashups Application Web Résumé : Les « mashups » sont une nouvelle forme d'applications représentative de l'appropriation par l'informatique d'entreprise des standards, protocoles et usages rendus populaires par le développement généralisé du Web. Elles se caractérisent par la prise en main de l'architecture technique du Web, navigateurs modernes et Cloud Computing, par des utilisateurs-développeurs pour réaliser des applications tactiques propres à leurs besoins. REFERENCE : H 6 025 Date : Aout 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] Contrats en informatique / Forgeron, Jean-François in Techniques de l'ingénieur HB, Vol. HB4 (Trimestriel)
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 15 p.
Titre : Contrats en informatique Type de document : texte imprimé Auteurs : Forgeron, Jean-François, Auteur ; Alexandre Fievee, Auteur Année de publication : 2007 Article en page(s) : 15 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Informatique Contrats Résumé : Cette étude apporte aux ingénieurs informatique et télécom, aux DSI et aux responsables SI un panorama des obligations communes et des principales clauses auxquelles il faut prêter attention dans les contrats informatiques. Elle fait également le point sur les tendances contractuelles liées notamment à la virtualisation (Cloud Computing). REFERENCE : H 4 128v2 Date : Aout 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Contrats en informatique [texte imprimé] / Forgeron, Jean-François, Auteur ; Alexandre Fievee, Auteur . - 2007 . - 15 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 15 p.
Mots-clés : Informatique Contrats Résumé : Cette étude apporte aux ingénieurs informatique et télécom, aux DSI et aux responsables SI un panorama des obligations communes et des principales clauses auxquelles il faut prêter attention dans les contrats informatiques. Elle fait également le point sur les tendances contractuelles liées notamment à la virtualisation (Cloud Computing). REFERENCE : H 4 128v2 Date : Aout 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 9 p.
Titre : Référentiels normatifs : sécurité de l'information Type de document : texte imprimé Auteurs : Pinet, Claude, Auteur Année de publication : 2007 Article en page(s) : 9 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Risque Diponibilité Intégrité continuité Logiciel Information Résumé : La sécurité de l’information fait partie du périmètre de la normalisation (ISO et AFNOR). À savoir les normes suivantes : ISO/CEI 27001 Exigences pour la certification, ISO/CEI 27002 Code de pratiques, ISO/CEI 27005 Gestion des risques. La sécurité de l’information est organisée dans un Système de Management de la sécurité de l’Information (SMSI). La démarche méthodologique nécessite de recenser les actifs et d’analyser les risques au regard des 3 facteurs : Disponibilité, Intégrité, Confidentialité. En fonction de l’impact (gravité) et de la probabilité d’apparition (fréquence) les risques seront classés soit acceptables soit risques résiduels. Les incidents de sécurité doivent être gérés. Des plans de traitement des risques contribuent à l’amélioration du SMSI. REFERENCE : H 5 070 Date : Aout 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Référentiels normatifs : sécurité de l'information [texte imprimé] / Pinet, Claude, Auteur . - 2007 . - 9 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 9 p.
Mots-clés : Risque Diponibilité Intégrité continuité Logiciel Information Résumé : La sécurité de l’information fait partie du périmètre de la normalisation (ISO et AFNOR). À savoir les normes suivantes : ISO/CEI 27001 Exigences pour la certification, ISO/CEI 27002 Code de pratiques, ISO/CEI 27005 Gestion des risques. La sécurité de l’information est organisée dans un Système de Management de la sécurité de l’Information (SMSI). La démarche méthodologique nécessite de recenser les actifs et d’analyser les risques au regard des 3 facteurs : Disponibilité, Intégrité, Confidentialité. En fonction de l’impact (gravité) et de la probabilité d’apparition (fréquence) les risques seront classés soit acceptables soit risques résiduels. Les incidents de sécurité doivent être gérés. Des plans de traitement des risques contribuent à l’amélioration du SMSI. REFERENCE : H 5 070 Date : Aout 2012 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] Méthodes formelles pour la vérification des systèmes embarqués / Emmanuelle Encrenaz-Tiphene in Techniques de l'ingénieur HB, Vol. HB4 (Trimestriel)
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p.
Titre : Méthodes formelles pour la vérification des systèmes embarqués Type de document : texte imprimé Auteurs : Emmanuelle Encrenaz-Tiphene, Auteur Année de publication : 2007 Article en page(s) : 25 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Panorama; Systèmes embarqués; Informatique; Électronique; Automatique Résumé : L’article présente trois grandes classes de méthodes formelles utilisées pour assurer des propriétés fonctionnelles (de parties) de systèmes embarqués : la démonstration assistée de preuve, l’examen automatisé des comportements du système (model-checking et interprétation abstraite), le raffinement de spécification. Dans chaque cas, on présente le principe, les principaux outils académiques et certains outils industriels ainsi que les réalisations pratiques. REFERENCE : H 8 250 Date : Février 2013 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Méthodes formelles pour la vérification des systèmes embarqués [texte imprimé] / Emmanuelle Encrenaz-Tiphene, Auteur . - 2007 . - 25 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p.
Mots-clés : Panorama; Systèmes embarqués; Informatique; Électronique; Automatique Résumé : L’article présente trois grandes classes de méthodes formelles utilisées pour assurer des propriétés fonctionnelles (de parties) de systèmes embarqués : la démonstration assistée de preuve, l’examen automatisé des comportements du système (model-checking et interprétation abstraite), le raffinement de spécification. Dans chaque cas, on présente le principe, les principaux outils académiques et certains outils industriels ainsi que les réalisations pratiques. REFERENCE : H 8 250 Date : Février 2013 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] Systèmes numériques à haut débit du réseau d'accès / Daniel Battu in Techniques de l'ingénieur HB, Vol. HB4 (Trimestriel)
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p.
Titre : Systèmes numériques à haut débit du réseau d'accès Type de document : texte imprimé Auteurs : Daniel Battu, Auteur Année de publication : 2007 Article en page(s) : 25 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : Systèmes numériques Résumé : Les réseaux d’accès constituent les liens de communication ménagés entre d’une part, le réseau à grande distance (WAN) et d’autre part, le réseau personnel de l’abonné (PAN) ou le réseau local de l’entreprise (LAN). Pour assurer cette mission de communication, différentes techniques numériques sont aujourd’hui disponibles en haut débit. Elles utilisent le support de conducteurs métalliques (xDSL, CPL), de fibres optiques ou de liaisons radioélectriques Wi-Fi, 2, 3 ou 4G. Des combinaisons entre ces moyens sont possibles (FTTx). REFERENCE : TE 7 105v2 Date : Février 2013 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Systèmes numériques à haut débit du réseau d'accès [texte imprimé] / Daniel Battu, Auteur . - 2007 . - 25 p.
Bibliogr.
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p.
Mots-clés : Systèmes numériques Résumé : Les réseaux d’accès constituent les liens de communication ménagés entre d’une part, le réseau à grande distance (WAN) et d’autre part, le réseau personnel de l’abonné (PAN) ou le réseau local de l’entreprise (LAN). Pour assurer cette mission de communication, différentes techniques numériques sont aujourd’hui disponibles en haut débit. Elles utilisent le support de conducteurs métalliques (xDSL, CPL), de fibres optiques ou de liaisons radioélectriques Wi-Fi, 2, 3 ou 4G. Des combinaisons entre ces moyens sont possibles (FTTx). REFERENCE : TE 7 105v2 Date : Février 2013 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] Validation des algorithmes en UML et OCL / Bazex, Pierre in Techniques de l'ingénieur HB, Vol. HB4 (Trimestriel)
[article]
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel)
Titre : Validation des algorithmes en UML et OCL Type de document : texte imprimé Auteurs : Bazex, Pierre, Auteur ; Canals, Agusti, Auteur Année de publication : 2007 Note générale : Technologies logicielles Architectures des systèmes Langues : Français (fre) Mots-clés : Propriétés axiomatiques; Preuve de programme; UML; Processus IDM; Programmation; Modélisation Résumé : Cette étude introduit les propriétés formelles des langages de programmation dont le but est de raisonner sur des programmes montrant , voire prouvant , qu’ils fonctionnent correctement. Resituées dans un contexte de processus centré sur les modèles (processus IDM), ces propriétés peuvent alors être appliquées à des langages de modélisation pour vérifier et garantir la qualité que l’on peut exiger de la part des modèles et la cohérence entre les modèles et les programmes. Mais ces techniques de preuve, basées sur la logique des prédicats, peuvent-elles s’appliquer à des langages métiers tels que le langage « Structured Analysis Model » (SAM) développé pour modéliser des applications du domaine de l’aéronautique ? Note de contenu : Bibliogr. REFERENCE : H 3882 Date : Août 2013 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...] [article] Validation des algorithmes en UML et OCL [texte imprimé] / Bazex, Pierre, Auteur ; Canals, Agusti, Auteur . - 2007.
Technologies logicielles Architectures des systèmes
Langues : Français (fre)
in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel)
Mots-clés : Propriétés axiomatiques; Preuve de programme; UML; Processus IDM; Programmation; Modélisation Résumé : Cette étude introduit les propriétés formelles des langages de programmation dont le but est de raisonner sur des programmes montrant , voire prouvant , qu’ils fonctionnent correctement. Resituées dans un contexte de processus centré sur les modèles (processus IDM), ces propriétés peuvent alors être appliquées à des langages de modélisation pour vérifier et garantir la qualité que l’on peut exiger de la part des modèles et la cohérence entre les modèles et les programmes. Mais ces techniques de preuve, basées sur la logique des prédicats, peuvent-elles s’appliquer à des langages métiers tels que le langage « Structured Analysis Model » (SAM) développé pour modéliser des applications du domaine de l’aéronautique ? Note de contenu : Bibliogr. REFERENCE : H 3882 Date : Août 2013 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-informati [...]
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |