Techniques de l'ingénieur HB : technologies logicielles architectures des systèmes, Vol. HB4. Technologies Logicielles Architectures des Systèmes - Trimestriel
| Titre : | Techniques de l'ingénieur HB : technologies logicielles architectures des systèmes, Vol. HB4. Technologies Logicielles Architectures des Systèmes - Trimestriel |
| Type de document : | Bulletin |
| Paru le : | 22/04/2007 |
Dépouillements
Article : texte imprimé
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 loc[...]
Article : texte imprimé
Bazex, Pierre, Auteur ;
Canals, Agusti, Auteur
|
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 perme[...]
Article : texte imprimé
Bernard Aubineau, Auteur ;
Clement, Alain, Auteur ;
Maury, Jean-Claude, Auteur
|
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è[...]
Article : texte imprimé
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 bu[...]
Article : texte imprimé
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 d[...]
Article : texte imprimé
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, [...]
Article : texte imprimé
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[...]
Article : texte imprimé
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 [...]
Article : texte imprimé
Forgeron, Jean-François, Auteur ;
Alexandre Fievee, Auteur
|
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 l[...]
Article : texte imprimé
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écur[...]
Article : texte imprimé
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[...]
Article : texte imprimé
Daniel Battu, Auteur
|
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[...]
Article : texte imprimé
Bazex, Pierre, Auteur ;
Canals, Agusti, Auteur
|
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[...]
Exemplaires(0)
| Disponibilité | ||||
|---|---|---|---|---|
| aucun exemplaire | ||||
