Illustration

Biographie et livres de Jean-Louis Boulanger

Découvrez tout l'univers de l'auteur en livre numérique
Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Ingénierie des exigences

Ingénierie des exigences

Stéphane Badreau , Jean-Louis Boulanger

Dunod

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...
37,99 €

EN SAVOIR PLUS

Ebooks de Jean-Louis Boulanger en PDF et EPUB

4 Livre(s)
Télécharger le livre : Mise en oeuvre de la méthode B
Jean-Louis Boulanger
Mise en oeuvre de la méthode B
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports.La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro...
Editeur : Hermés science
Parution : 2013-04-02
Collection : Traité RTA
Format(s) : PDF sans DRM
126,60 €
Télécharger le livre : Outils de mise en oeuvre industrielle des techniques formelles
Jean-Louis Boulanger
Outils de mise en oeuvre industrielle des techniques formelles
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.Différents domaines...
Editeur : Hermés science
Parution : 2012-04-25
Collection : Traité RTA
Format(s) : PDF sans DRM
116,05 €
Télécharger le livre : Sécurisation des architectures informatiques industrielles
Jean-Louis Boulanger
Sécurisation des architectures informatiques industrielles
Cet ouvrage collectif présente des exemples d'architecture industrielle à base de calculateur et/ou d'automate qui doivent être sécurisés afin de garantir les objectifs de sûreté de fonctionnement qui leurs sont associés. Le but de...
Editeur : Hermés science
Parution : 2011-04-15
Collection : Traité IC2
Format(s) : PDF sans DRM
158,25 €
Télécharger le livre : Sécurisation des architectures informatiques : exemples concrets
feuilleter
Jean-Louis Boulanger
Sécurisation des architectures informatiques : exemples concrets
Actuellement la littérature met à disposition des étudiants de master2 des livres très généraux sur les aspects "Sûreté de Fonctionnement" et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans un seul livre, une...
Editeur : Hermés science
Parution : 2009-05-14
Collection : Traité IC2 - Série Informatique et Systèmes d'Information
Format(s) : PDF sans DRM
139,99 €