Lavoisier Lavoisier Lavoisier Lavoisier

Résumé

Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté ""outils"" de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.

Sommaire

Introduction. Quelle expérience tirer de la mise en place d'ITIL ITIL et son développement. Service support, retour d'expérience. Service Delivery, retour d'expérience. Mise en uvre du Service Management. Du management des opérations informatiques. Anciens et nouveaux métiers des Opérations Informatiques. Les Opérations Informatiques dans leur environnement. Stratégie et avenir des Opérations Informatiques. Évolution du marché des services auprès des Opérations Informatiques. Évolution du management et perspectives. Postface. Glossaire. Abréviations. Bibliographie.

Caractéristiques

Editeur : Hermes Science

Auteur(s) : Jacques MOULINEC, Lionel LOYER, Flemming CHRISTENSEN, Hervé GUYADER

Publication : 13 février 2006

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 6,3 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193, 3177

EAN13 eBook [PDF] : 9782746237452

EAN13 (papier) : 9782746213029