Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici
(+33) 02 47 61 20 22 Du lundi au vendredi de 10H à 16H30

Les livres de l'auteur jean louis boulanger

La couverture et les autres extraits de
Cycle descendant
Auteur : Jean-Louis Boulanger
Editeur : ISTE
Année : 11/2018

Applications logicielles certifiables se compose de plusieurs ouvrages qui présentent le développement d’une application logicielle critique.

Ce troisième opus décrit le processus de réalisation d’une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme référence est le cycle en V. Ce cycle se veut le plus agile possible. [lire la suite]

104,40 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
Processus supports
Auteur : Jean-Louis BOULANGER
Editeur : ISTE
Année : 06/2017

La série Applications logicielles certifiables présente de manière concrète et critique les étapes de réalisation d'une application logicielle, un processus complexe nécessitant un travail d'équipe.

Ce deuxième volume est dédié à la description des processus supports. [lire la suite]

81,60 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
processus principaux
Auteur : Jean-Louis BOULANGER
Editeur : ISTE
Collection : Informatique
Année : 03/2016

Cet ouvrage présente l'ensemble des moyens permettant de réaliser une application logicielle pour un système critique de sécurité en prenant en compte les besoins de certification, depuis la phase d'analyse du besoin jusqu'à la phase de livraison. [lire la suite]

94,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
Méthodes et bonnes pratiques pour construire et maintenir un référentiel
Auteur : Jean-Louis BOULANGER Stéphane BADREAU
Editeur : DUNOD
Collection : InfoPro
Année : 06/2014

Ce livre s'adresse à toutes les personnes concernées par l'ingénierie des exigences qu'elles soient managers, responsables d'équipes, chefs de projet, analystes, architectes, développeurs ou testeurs.

L'ingénierie des exigences est une discipline qui consiste à développer un référentiel d'exigences, mais aussi à le maintenir à jour en présence d'évolutions. [lire la suite]

39,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
Auteur : Jean-louis BOULANGER
Editeur : HERMES / LAVOISIER
Collection : RTA Informatique et systèmes d'information
Année : 03/2012

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. [lire la suite]

110,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de C++ L'essentiel du code et des commandes
Auteur : Jean-louis BOULANGER
Editeur : HERMES / LAVOISIER
Collection : RTA Informatique et systèmes d'information
Année : 09/2011

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. [lire la suite]

99,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
Auteur : Jean-Louis BOULANGER
Editeur : HERMES / LAVOISIER
Année : 08/2011

Cet ouvrage présente des exemples concrets d'utilisations industrielles des techniques formelles.
Ces techniques réalisent des modèles de spécifications et/ou de conception et servent également à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc... [lire la suite]

112,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
Auteur : Jean-Louis BOULANGER
Editeur : HERMES / LAVOISIER
Collection : Traité IC2 Série Informatique et systèmes d'information
Année : 05/2011

Cet ouvrage collectif présente des exemples d'architecture industrielleà base de calculateur et/ou d'automate qui doivent être sécurisés afinde garantir les objectifs de sûreté de fonctionnement qui leurs sontassociés.
Le but de l'ouvrage Sécurisation des architectures industriellesest d'exposer des cas concrets, de taille significative etreprésentatifs des problématiques actuelles. [lire la suite]

150,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

La couverture et les autres extraits de
Exemples concrets
Auteur : Sous la direction de Jean-Louis BOULANGER
Editeur : HERMES / LAVOISIER
Collection : Traité IC2 Série Informatique et systèmes d'information
Année : 05/2009

L'informatique, omniprésente dans notre vie, est multiforme. A la fois profondément unitaire quant à ses principes d'écriture et ceux qui sont à la base des machines, l'informatique est infiniment variée par ses applications. [lire la suite]

140,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)