Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Outils de mise en oeuvre industrielle des techniques formelles
Éditeur(s): Lavoisier-HermèsLavoisier
Des exemples d'utilisation des techniques formelles (méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE) et des techniques de vérification associées, accompagnés d'un point sur leurs avantages et leurs inconvénients. ©Electre 2024
110,00 €
Chargement...
Architectures logicielles : principes, techniques et outils
Éditeur(s): Lavoisier-Hermès
Présentation et principes des architectures logicielles et de leur contribution dans les systèmes complexes et distribués. Leurs principales caractéristiques résident dans leur pouvoir de gérer les abstractions et les niveaux d'expressivité d'un système, et dans leur...
135,00 €
Chargement...
Les cartes à puce
Éditeur(s): Lavoisier-Hermès
Présentation des fondamentaux de la carte à puce et ses domaines d'applications, des systèmes d'exploitation embarqués, de la manière de programmer les cartes dans le langage Java Card, des techniques mises en oeuvre pour garantir leur sécurité face aux attaques phys...
89,00 €
Chargement...
Techniques industrielles de modélisation formelle pour le transport
Éditeur(s): Lavoisier-HermèsLavoisier
Présentation d'exemples concrets de mise en oeuvre des techniques formelles (simulation, model checking, preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande ligne. Les techniques formelles servent à l...
99,00 €
Chargement...
Interaction homme-machine dans les transports : personnalisation, assistance et informations du voyageur
Éditeur(s): Lavoisier-Hermès
Une synthèse de résultats, de travaux en cours ou de perspectives dans le domaine des systèmes interactifs d'information ou d'assistance destinés aux usagers des transports désirant préparer un déplacement ou souhaitant s'informer lors du trajet lui-même. Les approch...
83,00 €
Chargement...
Mise en oeuvre de la méthode B
Éditeur(s): Lavoisier-Hermès
Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production auto...
120,00 €
Chargement...
La qualité et la gouvernance des données au service de la performance des entreprises
Éditeur(s): Lavoisier-Hermès
Contributions présentant un panorama du domaine aussi bien dans le secteur de la recherche que sur le plan opérationnel avec des études de cas et des retours d'expérience détaillés. ©Electre 2024
110,00 €
Chargement...
Ontologies et modélisation par SMA en SHS
Éditeur(s): Lavoisier-HermèsLavoisier
Point sur la modélisation à base d'agents (ABM) pour les sciences de l'homme et de la société en vue de la simulation par système multi-agents (SMA). La modélisation par SMA fait appel à différentes fonctions qui peuvent se traduire par la mise en présence de plusieu...
160,00 €
Chargement...