Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Recherche, technologie, applications
Éditeur(s) :
Lavoisier-Hermès
Analyse des principaux formalismes et des outils logiciels associés qui offrent des solutions pour spécifier un système temps réel et vérifier, avant le déploiement du système, le respect des propriétés attendues. ©Electre 2025
119,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Lavoisier
Lavoisier
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 2025
110,00 €
Chargement...
É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...
É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...
Éditeur(s) :
Lavoisier-Hermès
Etat de la recherche sur le concept Tiff to XML, c'est-à-dire de l'image du document à son contenu interprété et structuré dans un format informatique. Les auteurs abordent les documents manuscrits, structurés (magazines, ouvrages, fiches...) et graphiques (cartes, p...
115,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Traite du développement du logiciel, des apports de l'ergonomie aux conceptions de systèmes d'information, de l'analyse des tâches et de la modélisation des tâches dans la conception des systèmes d'information, de la modélisation des tâches dans la conception et l'é...
69,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Lavoisier
Lavoisier
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...
Éditeur(s) :
Lavoisier-Hermès
Détermine la meilleure solution admissible existante à un problème à l'aide des métaheuristiques (ou heuristiques générales de recherche locale), dans les domaines de la gestion de production, des télécommunications et de la logistique. Ces méthodes sont des approche...
90,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Analyse des mécanismes éxécutifs permettant l'obtention d'une qualité de service temps réel. Etude du problème du choix, de la configuration et de l'implémentation des stratégies d'ordonnancement de tâches. Le point sur les réseaux et protocoles de communication temp...
119,00 €
Chargement...
É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...
É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...
É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 2025
110,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
L'ouvrage présente des cas concrets d'utilisations industrielles des techniques formelles basées sur l'analyse statique comme l'interprétation abstraite. Avec des exemples détaillés d'utilisation des outils Astrée, Caveat, CodePeer, Framac ou Polyspace. ©Electre 2025
112,00 €
Chargement...
Éditeur(s) :
Lavoisier-Hermès
Lavoisier
Lavoisier
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...
