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

Ajouter à ma liste d'envies

CENELEC 50128 and IEC 62279 Standards

Jean-Louis Boulanger

Wiley-ISTE

2015-03-24

PDF, ePub

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...

163,47 €

En savoir plus

Ebooks de Jean-Louis Boulanger en PDF et EPUB

12 Livre(s)


Ajouter à ma liste d'envies 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 € PDF ePub
Ajouter à ma liste d'envies 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 €
Ajouter à ma liste d'envies 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 €
Ajouter à ma liste d'envies 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 €
Ajouter à ma liste d'envies 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 €
Ajouter à ma liste d'envies 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 € PDF ePub
Ajouter à ma liste d'envies 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 € PDF ePub
Ajouter à ma liste d'envies 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-05-10 PDF, ePub 164,53 € PDF ePub
Ajouter à ma liste d'envies 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 € PDF ePub
Ajouter à ma liste d'envies 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 € PDF ePub
Ajouter à ma liste d'envies 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 € PDF ePub
Ajouter à ma liste d'envies 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 € PDF ePub

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Compatible lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.