Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Jean-Louis Boulanger
É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...
É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...
É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 2025
33,76 €
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 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...
É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...
É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) :
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...
É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) :
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...
É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) :
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 2025
48,50 €
Chargement...
