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 : Certifiable Software Applications 3
Certifiable Software Applications 3

Jean-Louis Boulanger

Iste Press - Elsevier

2018-09-03

epub sans DRM

Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For...

125,54 €

En savoir plus

Tous les livres numériques de Jean-Louis Boulanger en PDF et EPUB

15 Livre(s)
Télécharger le livre : Ingénierie des exigences
Feuilleter
Ingénierie des exigences
Stéphane Badreau , Jean-Louis Boulanger
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 à...

Editeur : Dunod
Parution : 2014-06-04
Collection : Management des systèmes d'information PDF, ePub

37,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Mise en oeuvre de la méthode B
Mise en oeuvre de la méthode B
Jean-Louis Boulanger
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 PDF sans DRM

126,60 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Outils de mise en oeuvre industrielle des techniques formelles
Outils de mise en oeuvre industrielle des techniques formelles
Jean-Louis Boulanger
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 PDF sans DRM

116,05 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Sécurisation des architectures informatiques industrielles
Sécurisation des architectures informatiques industrielles
Jean-Louis Boulanger
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 PDF sans DRM

158,25 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Sécurisation des architectures informatiques : exemples concrets
Feuilleter
Sécurisation des architectures informatiques : exemples concrets
Jean-Louis Boulanger
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 PDF sans DRM

139,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Certifiable Software Applications 2
Certifiable Software Applications 2
Jean-Louis Boulanger
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition,...

Editeur : Iste Press - Elsevier
Parution : 2016-11-29
PDF, epub sans DRM

98,06 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Certifiable Software Applications 1
Certifiable Software Applications 1
Jean-Louis Boulanger
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module,...

Editeur : Iste Press - Elsevier
Parution : 2016-07-15
epub sans DRM

98,06 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
Jean-Louis Boulanger
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the...

Editeur : Wiley-ISTE
Parution : 2015-03-24
PDF, ePub

163,47 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods Applied to Complex Systems
Formal Methods Applied to Complex Systems
Jean-Louis Boulanger
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a...

Editeur : Wiley-ISTE
Parution : 2014-07-22
PDF, ePub

207,78 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
Jean-Louis Boulanger
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on...

Editeur : Wiley-ISTE
Parution : 2014-07-09
PDF, ePub

197,23 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Industrial Use of Formal Methods
Industrial Use of Formal Methods
Jean-Louis Boulanger
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial...

Editeur : Wiley-ISTE
Parution : 2013-05-10
PDF, ePub

164,53 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Safety Management for Software-based Equipment
Safety Management for Software-based Equipment
Jean-Louis Boulanger
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification,...

Editeur : Wiley-ISTE
Parution : 2013-05-06
PDF, ePub

163,47 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods
Formal Methods
Jean-Louis Boulanger
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of...

Editeur : Wiley-ISTE
Parution : 2013-03-04
PDF, ePub

164,53 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Static Analysis of Software
Static Analysis of Software
Jean-Louis Boulanger
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various...

Editeur : Wiley-ISTE
Parution : 2013-02-07
PDF, ePub

184,57 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Safety of Computer Architectures
Safety of Computer Architectures
Jean-Louis Boulanger
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system...

Editeur : Wiley-ISTE
Parution : 2013-01-09
PDF, ePub

163,47 €
Téléchargement immédiat
Dès validation de votre commande