Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Applications logicielles certifiables. Vol. 1. Processus principaux
Éditeur(s): Iste éditions
Après avoir détaillé le processus de réalisation d'un logiciel, l'auteur s'intéresse à la maîtrise de la sécurité d'une application, dans le cadre de son fonctionnement. ©Electre 2024
33,76 €
Chargement...
Applications logicielles certifiables. Vol. 2. Processus supports
Éditeur(s): Iste éditions
L'auteur décrit les étapes de réalisation d'une application logicielle. Ce volume est dédié à la description des processus supports. Il présente la gestion des ressources humaines et de la configuration, l'archivage, la vérification et la validation du logiciel, ains...
33,76 €
Chargement...
Applications logicielles certifiables. Vol. 3. Cycle descendant
Éditeur(s): Iste éditions
Description du processus de réalisation d'une application logicielle et de sa phase descendante afin d'identifier en amont les défauts. Avec une présentation pour chaque phase, de la spécification à la production du code, des activités de conception, de préparation d...
98,12 €
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...
Sécurisation des architectures informatiques industrielles
Éditeur(s): Lavoisier-Hermès
Présentation des principes de la sécurisation des architectures informatiques dans les domaines du transport ferroviaire, du transport aérien, de l'automobile et de l'industrie pétrolière, spatiale (Ariane) et autre. Aperçu de la complexité des systèmes et de la diff...
150,00 €
Chargement...
Sécurisation des architectures informatiques : exemples concrets
Éditeur(s): Lavoisier-Hermès
Présentation des principes de la sécurisation des architectures informatiques dans les domaines du transport ferroviaire, du transport aérien, d'Ariane, de l'automobile et de l'industrie pétrolière et autre. Aperçu de la complexité des systèmes et de la difficulté à ...
140,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...
Mise en oeuvre des normes CENELEC 50128 et IEC 62279
Éditeur(s): Iste éditions
Présentation de la version 2011 de la norme CENELEC 50128 et de sa mise en oeuvre. Cette norme identifie un processus de réalisation d'un logiciel pour les applications ferroviaires et identifie les moyens qui doivent être développés afin d'atteindre le niveau d'assu...
25,32 €
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...
Techniques de sécurisation des applications à base de logiciel
Éditeur(s): Iste éditions
Cet ouvrage expose les principes fondamentaux de l'élaboration d'un système à base d'électronique programmable sûr (les concepts de base et leur mise en place, les normes et la réglementation, les méthodes d'analyse de la sécurité) et présente les différentes techniq...
26,38 €
Chargement...
Utilisations industrielles des techniques formelles : interprétation abstraite
É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 2024
112,00 €
Chargement...
Ingénierie des exigences : méthodes et bonnes pratiques pour construire et maintenir un référentiel
Éditeur(s): Dunod
L'ingénierie des exigences permet de recueillir, de spécifier et de qualifier des exigences relatives à un système reposant sur des logiciels. Ses enjeux vont jusqu'au management et au pilotage de projet. ©Electre 2024
47,00 €
Chargement...